Lecture Notes in Computer Science - Coordination Models and Languages
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer International Publishing

9783319395180, 9783319395197

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Improving Gossip Dynamics Through Overlapping Replicates

Lecture Notes in Computer Science - Coordination Models and Languages ◽

10.1007/978-3-319-39519-7_12 ◽

2016 ◽

pp. 192-207 ◽

Cited By ~ 12

Author(s):

Danilo Pianini ◽

Jacob Beal ◽

Mirko Viroli

Download Full-text

A Formal Analysis of the Global Sequence Protocol

Lecture Notes in Computer Science - Coordination Models and Languages ◽

10.1007/978-3-319-39519-7_11 ◽

2016 ◽

pp. 175-191 ◽

Cited By ~ 2

Author(s):

Hernán Melgratti ◽

Christian Roldán

Keyword(s):

Formal Analysis ◽

Sequence Protocol

Download Full-text

On Synchronous and Asynchronous Compatibility of Communicating Components

Lecture Notes in Computer Science - Coordination Models and Languages ◽

10.1007/978-3-319-39519-7_9 ◽

2016 ◽

pp. 138-156 ◽

Cited By ~ 2

Author(s):

Rolf Hennicker ◽

Michel Bidoit ◽

Thanh-Son Dang

Download Full-text

On-the-Fly Mean-Field Model-Checking for Attribute-Based Coordination

Lecture Notes in Computer Science - Coordination Models and Languages ◽

10.1007/978-3-319-39519-7_5 ◽

2016 ◽

pp. 67-83 ◽

Cited By ~ 4

Author(s):

Vincenzo Ciancia ◽

Diego Latella ◽

Mieke Massink

Keyword(s):

Model Checking ◽

Field Model ◽

Mean Field ◽

Mean Field Model

Download Full-text

Multilevel Transitive and Intransitive Non-interference, Causally

Lecture Notes in Computer Science - Coordination Models and Languages ◽

10.1007/978-3-319-39519-7_1 ◽

2016 ◽

pp. 1-17 ◽

Cited By ~ 1

Author(s):

Paolo Baldan ◽

Alessandro Beggiato

Download Full-text

A Game Interpretation of Retractable Contracts

Lecture Notes in Computer Science - Coordination Models and Languages ◽

10.1007/978-3-319-39519-7_2 ◽

2016 ◽

pp. 18-34 ◽

Cited By ~ 2

Author(s):

Franco Barbanera ◽

Ugo de’ Liguoro

Download Full-text

An Interference-Free Programming Model for Network Objects

Lecture Notes in Computer Science - Coordination Models and Languages ◽

10.1007/978-3-319-39519-7_14 ◽

2016 ◽

pp. 227-244 ◽

Cited By ~ 1

Author(s):

Mischael Schill ◽

Christopher M. Poskitt ◽

Bertrand Meyer

Keyword(s):

Programming Model

Download Full-text

On Dynamical Probabilities, or: How to Learn to Shoot Straight

Lecture Notes in Computer Science - Coordination Models and Languages ◽

10.1007/978-3-319-39519-7_16 ◽

2016 ◽

pp. 262-277 ◽

Cited By ~ 1

Author(s):

Herbert Wiklicky

Download Full-text

ParT: An Asynchronous Parallel Abstraction for Speculative Pipeline Computations

Lecture Notes in Computer Science - Coordination Models and Languages ◽

10.1007/978-3-319-39519-7_7 ◽

2016 ◽

pp. 101-120 ◽

Cited By ~ 5

Author(s):

Kiko Fernandez-Reyes ◽

Dave Clarke ◽

Daniel S. McCain

Keyword(s):

Asynchronous Parallel

Download Full-text

A Semantic Theory of the Internet of Things

Lecture Notes in Computer Science - Coordination Models and Languages ◽

10.1007/978-3-319-39519-7_10 ◽

2016 ◽

pp. 157-174 ◽

Cited By ~ 7

Author(s):

Ruggero Lanotte ◽

Massimo Merro

Keyword(s):

Internet Of Things ◽

Semantic Theory ◽

The Internet ◽

The Internet Of Things

Download Full-text

Lecture Notes in Computer Science - Coordination Models and LanguagesLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer International Publishing

Improving Gossip Dynamics Through Overlapping Replicates

A Formal Analysis of the Global Sequence Protocol

On Synchronous and Asynchronous Compatibility of Communicating Components

On-the-Fly Mean-Field Model-Checking for Attribute-Based Coordination

Multilevel Transitive and Intransitive Non-interference, Causally

A Game Interpretation of Retractable Contracts

An Interference-Free Programming Model for Network Objects

On Dynamical Probabilities, or: How to Learn to Shoot Straight

ParT: An Asynchronous Parallel Abstraction for Speculative Pipeline Computations

A Semantic Theory of the Internet of Things

Lecture Notes in Computer Science - Coordination Models and Languages
Latest Publications