Programming Languages with Applications to Biology and Security

Keyphrases

Publications

2015

Martín Abadi, Mike Burrows, Himabindu Pucha, Adam Sadovsky, Asim Shankar, Ankur Taly
Distributed Authorization with Distributed Grammars. Programming Languages with Applications to Biology and Security (2015)
Paolo Baldan, Filippo Bonchi, Fabio Gadducci, Giacoma Valentina Monreale
Asynchronous Traces and Open Petri Nets. Programming Languages with Applications to Biology and Security (2015)
Rocco De Nicola, Claudio Antares Mezzina, Hugo Torres Vieira
Global Protocol Implementations via Attribute-Based Communication. Programming Languages with Applications to Biology and Security (2015)
Chiara Bodei, Linda Brodo, Riccardo Focardi
Static Evidences for Attack Reconstruction. Programming Languages with Applications to Biology and Security (2015)
Victor Malyshkin
Active Knowledge, LuNA and Literacy for Oncoming Centuries. Programming Languages with Applications to Biology and Security (2015)
Santiago Escobar, Catherine A. Meadows, José Meseguer, Sonia Santiago
Symbolic Protocol Analysis with Disequality Constraints Modulo Equational Theories. Programming Languages with Applications to Biology and Security (2015)
Hanne Riis Nielson, Flemming Nielson, Ximeng Li
Hoare Logic for Disjunctive Information Flow. Programming Languages with Applications to Biology and Security (2015)
Roberto Gorrieri
Language Representability of Finite P/T Nets. Programming Languages with Applications to Biology and Security (2015)
Gabriele Costa
Securing Android with Local Policies. Programming Languages with Applications to Biology and Security (2015)
Fabrizio Luccio, Linda Pagli
Soulmate Algorithms. Programming Languages with Applications to Biology and Security (2015)
Chiara Bodei, Gian Luigi Ferrari, Corrado Priami
Pierpaolo Degano. Programming Languages with Applications to Biology and Security (2015)
Roberto Bruni, Ugo Montanari, Matteo Sammartino
Causal Trees, Finally. Programming Languages with Applications to Biology and Security (2015)
Davide Chiarugi, Moreno Falaschi, Carlos Olarte, Catuscia Palamidessi
A Declarative View of Signaling Pathways. Programming Languages with Applications to Biology and Security (2015)
Davide Basile, Letterio Galletta, Gianluca Mezzetti
Safe Adaptation Through Implicit Effect Coercion. Programming Languages with Applications to Biology and Security (2015)
Omar Almousa, Sebastian Mödersheim, Luca Viganò
Alice and Bob: Reconciling Formal Models and Implementation. Programming Languages with Applications to Biology and Security (2015)
Fabio Martinelli, Ilaria Matteucci, Francesco Santini
There are Two Sides to Every Question - Controller Versus Attacker. Programming Languages with Applications to Biology and Security (2015)
Gianluigi Zavattaro
When to Move to Transfer Nets - On the Limits of Petri Nets as Models for Process Calculi. Programming Languages with Applications to Biology and Security (2015)
Giancarlo Bigi, Andrea Bracciali, Giovanni Meacci, Emilio Tuosto
Validation of Decentralised Smart Contracts Through Game Theory and Formal Methods. Programming Languages with Applications to Biology and Security (2015)
Marco Maria Massai
Pierpaolo, a Great Friend. Programming Languages with Applications to Biology and Security (2015)
Joshua D. Guttman
Limited Disclosure and Locality in Graphs. Programming Languages with Applications to Biology and Security (2015)
Roberto Zunino, Durica Nikolic, Corrado Priami, Ozan Kahramanogullari, Tommaso Schiavinotto
ℓ: An Imperative DSL to Stochastically Simulate Biological Systems. Programming Languages with Applications to Biology and Security (2015)
Bent Thomsen, Kasper Søe Luckow, Lone Leth Thomsen, Thomas Bøgholm
From Safety Critical Java Programs to Timed Process Models. Programming Languages with Applications to Biology and Security (2015)
Massimo Bartoletti, Tiziana Cimoli, Roberto Zunino
Compliance in Behavioural Contracts: A Brief Survey. Programming Languages with Applications to Biology and Security (2015)

volume 9465, 2015

Programming Languages with Applications to Biology and Security - Essays Dedicated to Pierpaolo Degano on the Occasion of His 65th Birthday Programming Languages with Applications to Biology and Security 9465 (2015)