Programming Languages with Applications to Biology and Security
-15%
portes grátis
Programming Languages with Applications to Biology and Security
Essays Dedicated to Pierpaolo Degano on the Occasion of His 65th Birthday
Ferrari, Gianluigi; Bodei, Chiara; Priami, Corrado
Springer International Publishing AG
11/2015
375
Mole
Inglês
9783319255262
15 a 20 dias
5854
Descrição não disponível.
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.
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
Adaptive and pervasive systems;Concurrency theory;Distributed systems;Formal program semantics;Secure service composition;Active knowledge;Algorithms for love;Computational biology;Contract-based design;May testing;Model checking;Modeling;Petri nets;Program synthesis;Security;Simulation algorithms;Static analysis;Stochastic simulation;Symbolic execution;Systems biology
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.
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
Adaptive and pervasive systems;Concurrency theory;Distributed systems;Formal program semantics;Secure service composition;Active knowledge;Algorithms for love;Computational biology;Contract-based design;May testing;Model checking;Modeling;Petri nets;Program synthesis;Security;Simulation algorithms;Static analysis;Stochastic simulation;Symbolic execution;Systems biology
