Search from the table of contents of 2.5 million books
Advanced Search (Beta)
Home > Programming Languages with Applications to Biology and Security: Essays Dedicated to Pierpaolo Degano on the Occasion of His 65th Birthday > Soulmate Algorithms
Programming Languages with Applications to Biology and Security: Essays Dedicated to Pierpaolo Degano on the Occasion of His 65th Birthday |
Chiara Bodei; Gianluigi Ferrari; Corrado Priami
Springer International Publishing
Programming Languages with Applications to Biology and Security: Essays Dedicated to Pierpaolo Degano on the Occasion of His 65th Birthday
Soulmate Algorithms
Authors

Fabrizio Luccio; Linda Pagli

ARI Id

1664729639594_2972339

Access

Not Available Free

Pages

283-291

DOI

10.1007/978-3-319-25527-9_18

Chapter URL

https://rd.springer.com/chapter/10.1007/978-3-319-25527-9_18

Table of Contents of Book
Showing 1 to 20 of 25 entries
Chapters/HeadingsAuthor(s)PagesInfo
Front Matter
I-XII
Pierpaolo Degano
Chiara Bodei; Gian-Luigi Ferrari; Corrado Priami
1-6
Pierpaolo, a Great Friend
Marco Maria Massai
7-9
Distributed Authorization with Distributed Grammars
Martín Abadi; Mike Burrows; Himabindu Pucha; Adam Sadovsky; Asim Shankar; Ankur Taly
10-26
Causal Trees, Finally
Roberto Bruni; Ugo Montanari; Matteo Sammartino
27-43
Limited Disclosure and Locality in Graphs
Joshua D. Guttman
44-46
Hoare Logic for Disjunctive Information Flow
Hanne Riis Nielson; Flemming Nielson; Ximeng Li
47-65
Alice and Bob: Reconciling Formal Models and Implementation
Omar Almousa; Sebastian Mödersheim; Luca Viganò
66-85
Asynchronous Traces and Open Petri Nets
Paolo Baldan; Filippo Bonchi; Fabio Gadducci; Giacoma V. Monreale
86-102
Compliance in Behavioural Contracts: A Brief Survey
Massimo Bartoletti; Tiziana Cimoli; Roberto Zunino
103-121
Safe Adaptation Through Implicit Effect Coercion
Davide Basile; Letterio Galletta; Gianluca Mezzetti
122-141
Validation of Decentralised Smart Contracts Through Game Theory and Formal Methods
Giancarlo Bigi; Andrea Bracciali; Giovanni Meacci; Emilio Tuosto
142-161
Static Evidences for Attack Reconstruction
Chiara Bodei; Linda Brodo; Riccardo Focardi
162-182
A Declarative View of Signaling Pathways
Davide Chiarugi; Moreno Falaschi; Carlos Olarte; Catuscia Palamidessi
183-201
Securing Android with Local Policies
Gabriele Costa
202-218
Global Protocol Implementations via Attribute-Based Communication
Rocco De Nicola; Claudio Antares Mezzina; Hugo Torres Vieira
219-237
Symbolic Protocol Analysis with Disequality Constraints Modulo Equational Theories
Santiago Escobar; Catherine Meadows; José Meseguer; Sonia Santiago
238-261
Language Representability of Finite P/T Nets
Roberto Gorrieri
262-282
Soulmate Algorithms
Fabrizio Luccio; Linda Pagli
283-291
Active Knowledge, LuNA and Literacy for Oncoming Centuries
Victor Malyshkin
292-303
Chapters/HeadingsAuthor(s)PagesInfo
Showing 1 to 20 of 25 entries
Similar Books
Similar Chapters
Similar Thesis

Similar News

Similar Articles
Similar Article Headings