Programming languages with applications to biology and security : essays dedicated to Pierpaolo Degano on the occasion of his 65th birthday /: essays dedicated to Pierpaolo Degano on the occasion of his 65th birthday. (2015)

• Record Type: Book
• Further Information: Note: Chiara Bodei, Gian-Luigi Ferrari, Corrado Priami (eds.).
• Editors: Bodei, Chiara; Ferrari, Gian-Luigi; Priami, Corrado
• Other Names: Degano, Pierpaolo 1950- honouree.; Programming Languages with Applications to Biology and Security (Colloquium)
• Contents: Pierpaolo Degano.- Pierpaolo, a great friend.- Distributed Authorization with Distributed Grammars.- Causal Trees, fi nally.- Limited Disclosure and Locality in Graphs.- Hoare Logic for Disjunctive Information Flow.- Alice and Bob: Reconciling Formal Models and Implementation.- Asynchronous Traces and Open Petri Nets.- Compliance in Behavioural Contracts: A Brief Survey.- Safe Adaptation Through Implicit Effect Coercion.- Validation of Decentralised Smart Contracts through Game Theory and Formal Methods.- Static Evidences for Attack Reconstruction.- A Declarative View of Signaling Pathways.- Securing Android with Local Policies.- Global Protocol Implementations via Attribute-Based Communication.- Symbolic Protocol Analysis with Disequality Constraints modulo Equational Theories.- Language Representability of Finite P/T Nets.- Soulmate Algorithms.- Active Knowledge, LuNA and Literacy for Oncoming Centuries.- There Are Two Sides to Every Question: Controller vs Attacker.- From Safety Critical Java Programs to Timed Process Models.- When to Move to Transfer Nets.- L: An Imperative DSL to Stochastically Simulate Biological Systems.
• Publisher Details: Cham : Springer
• Publication Date: 2015
• Copyright Date: 2015
• Extent: 1 online resource (375 pages)
• Subjects: 005.13; Computer science; Programming languages -- Congresses; Systems biology -- Congresses; Computer security -- Congresses; Computers -- Software Development & Engineering -- General; Computers -- Information Technology; Computers -- Hardware -- Network Hardware; Computers -- Programming -- General; Computers -- Programming -- Algorithms; Software Engineering; Information retrieval; Network hardware; Computer programming / software development; Algorithms & data structures; Logic design; Software engineering; Computer Communication Networks; Computer software
• Languages: English
• ISBNs: 9783319255279
• Related ISBNs: 9783319255262
• Access Rights: Legal Deposit; Only available on premises controlled by the deposit library and to one user at any one time; The Legal Deposit Libraries (Non-Print Works) Regulations (UK).
• Access Usage: Restricted: Printing from this resource is governed by The Legal Deposit Libraries (Non-Print Works) Regulations (UK) and UK copyright law currently in force.