Programming Languages with Applications to Biology and Security - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer International Publishing

9783319255262, 9783319255279

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Global Protocol Implementations via Attribute-Based Communication

Programming Languages with Applications to Biology and Security - Lecture Notes in Computer Science ◽

10.1007/978-3-319-25527-9_15 ◽

2015 ◽

pp. 219-237

Author(s):

Rocco De Nicola ◽

Claudio Antares Mezzina ◽

Hugo Torres Vieira

Download Full-text

There are Two Sides to Every Question

Programming Languages with Applications to Biology and Security - Lecture Notes in Computer Science ◽

10.1007/978-3-319-25527-9_20 ◽

2015 ◽

pp. 304-318 ◽

Cited By ~ 1

Author(s):

Fabio Martinelli ◽

Ilaria Matteucci ◽

Francesco Santini

Keyword(s):

Two Sides

Download Full-text

From Safety Critical Java Programs to Timed Process Models

Programming Languages with Applications to Biology and Security - Lecture Notes in Computer Science ◽

10.1007/978-3-319-25527-9_21 ◽

2015 ◽

pp. 319-338 ◽

Cited By ~ 3

Author(s):

Bent Thomsen ◽

Kasper Søe Luckow ◽

Lone Leth ◽

Thomas Bøgholm

Keyword(s):

Process Models ◽

Safety Critical ◽

Java Programs

Download Full-text

Active Knowledge, LuNA and Literacy for Oncoming Centuries

Programming Languages with Applications to Biology and Security - Lecture Notes in Computer Science ◽

10.1007/978-3-319-25527-9_19 ◽

2015 ◽

pp. 292-303 ◽

Cited By ~ 1

Author(s):

Victor Malyshkin

Download Full-text

Soulmate Algorithms

Programming Languages with Applications to Biology and Security - Lecture Notes in Computer Science ◽

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

2015 ◽

pp. 283-291

Author(s):

Fabrizio Luccio ◽

Linda Pagli

Download Full-text

Compliance in Behavioural Contracts: A Brief Survey

Programming Languages with Applications to Biology and Security - Lecture Notes in Computer Science ◽

10.1007/978-3-319-25527-9_9 ◽

2015 ◽

pp. 103-121 ◽

Cited By ~ 13

Author(s):

Massimo Bartoletti ◽

Tiziana Cimoli ◽

Roberto Zunino

Download Full-text

Alice and Bob: Reconciling Formal Models and Implementation

Programming Languages with Applications to Biology and Security - Lecture Notes in Computer Science ◽

10.1007/978-3-319-25527-9_7 ◽

2015 ◽

pp. 66-85 ◽

Cited By ~ 5

Author(s):

Omar Almousa ◽

Sebastian Mödersheim ◽

Luca Viganò

Keyword(s):

Formal Models

Download Full-text

When to Move to Transfer Nets

Programming Languages with Applications to Biology and Security - Lecture Notes in Computer Science ◽

10.1007/978-3-319-25527-9_22 ◽

2015 ◽

pp. 339-353 ◽

Cited By ~ 1

Author(s):

Gianluigi Zavattaro

Download Full-text

Validation of Decentralised Smart Contracts Through Game Theory and Formal Methods

Programming Languages with Applications to Biology and Security - Lecture Notes in Computer Science ◽

10.1007/978-3-319-25527-9_11 ◽

2015 ◽

pp. 142-161 ◽

Cited By ~ 20

Author(s):

Giancarlo Bigi ◽

Andrea Bracciali ◽

Giovanni Meacci ◽

Emilio Tuosto

Keyword(s):

Game Theory ◽

Formal Methods ◽

Smart Contracts

Download Full-text

Limited Disclosure and Locality in Graphs

Programming Languages with Applications to Biology and Security - Lecture Notes in Computer Science ◽

10.1007/978-3-319-25527-9_5 ◽

2015 ◽

pp. 44-46

Author(s):

Joshua D. Guttman

Download Full-text

Programming Languages with Applications to Biology and Security - Lecture Notes in Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer International Publishing

Global Protocol Implementations via Attribute-Based Communication

There are Two Sides to Every Question

From Safety Critical Java Programs to Timed Process Models

Active Knowledge, LuNA and Literacy for Oncoming Centuries

Soulmate Algorithms

Compliance in Behavioural Contracts: A Brief Survey

Alice and Bob: Reconciling Formal Models and Implementation

When to Move to Transfer Nets

Validation of Decentralised Smart Contracts Through Game Theory and Formal Methods

Limited Disclosure and Locality in Graphs

Programming Languages with Applications to Biology and Security - Lecture Notes in Computer Science
Latest Publications