Models, Languages, and Tools for Concurrent and Distributed Programming - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer International Publishing

9783030214845, 9783030214852

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

A Distributed Ledger Technology Based on Shared Write-Once Objects

Models, Languages, and Tools for Concurrent and Distributed Programming - Lecture Notes in Computer Science ◽

10.1007/978-3-030-21485-2_9 ◽

2019 ◽

pp. 136-151

Author(s):

Eva Maria Kuehn

Keyword(s):

Distributed Ledger ◽

Distributed Ledger Technology

Download Full-text

Embedding RCC8D in the Collective Spatial Logic CSLCS

Models, Languages, and Tools for Concurrent and Distributed Programming - Lecture Notes in Computer Science ◽

10.1007/978-3-030-21485-2_15 ◽

2019 ◽

pp. 260-277 ◽

Cited By ~ 1

Author(s):

Vincenzo Ciancia ◽

Diego Latella ◽

Mieke Massink

Keyword(s):

Spatial Logic

Download Full-text

Event Structure Semantics for Multiparty Sessions

Models, Languages, and Tools for Concurrent and Distributed Programming - Lecture Notes in Computer Science ◽

10.1007/978-3-030-21485-2_19 ◽

2019 ◽

pp. 340-363 ◽

Cited By ~ 1

Author(s):

Ilaria Castellani ◽

Mariangiola Dezani-Ciancaglini ◽

Paola Giannini

Keyword(s):

Event Structure

Download Full-text

From Tuscany to Scotland and Back

Models, Languages, and Tools for Concurrent and Distributed Programming - Lecture Notes in Computer Science ◽

10.1007/978-3-030-21485-2_1 ◽

2019 ◽

pp. 3-6

Author(s):

Ugo Montanari

Download Full-text

Building International Doctoral Schools in Computer Science in Italy, De Nicola’s Way

Models, Languages, and Tools for Concurrent and Distributed Programming - Lecture Notes in Computer Science ◽

10.1007/978-3-030-21485-2_2 ◽

2019 ◽

pp. 7-12

Author(s):

Luca Aceto ◽

Gianlorenzo D’Angelo ◽

Michele Flammini ◽

Omar Inverso ◽

Ludovico Iovino ◽

...

Keyword(s):

Computer Science

Download Full-text

Modal Epistemic Logic on Contracts: A Doctrinal Approach

Models, Languages, and Tools for Concurrent and Distributed Programming - Lecture Notes in Computer Science ◽

10.1007/978-3-030-21485-2_17 ◽

2019 ◽

pp. 298-314

Author(s):

Paolo Bottoni ◽

Daniele Gorla ◽

Stefano Kasangian ◽

Anna Labella

Keyword(s):

Epistemic Logic ◽

Modal Epistemic Logic

Download Full-text

Fluidware: An Approach Towards Adaptive and Scalable Programming of the IoT

Models, Languages, and Tools for Concurrent and Distributed Programming - Lecture Notes in Computer Science ◽

10.1007/978-3-030-21485-2_22 ◽

2019 ◽

pp. 411-427

Author(s):

Giancarlo Fortino ◽

Barbara Re ◽

Mirko Viroli ◽

Franco Zambonelli

Download Full-text

HeadREST: A Specification Language for RESTful APIs

Models, Languages, and Tools for Concurrent and Distributed Programming - Lecture Notes in Computer Science ◽

10.1007/978-3-030-21485-2_23 ◽

2019 ◽

pp. 428-434 ◽

Cited By ~ 1

Author(s):

Vasco T. Vasconcelos ◽

Francisco Martins ◽

Antónia Lopes ◽

Nuno Burnay

Keyword(s):

Specification Language

Download Full-text

A Framework for Provenance-Preserving History Distribution and Incremental Reduction

Models, Languages, and Tools for Concurrent and Distributed Programming - Lecture Notes in Computer Science ◽

10.1007/978-3-030-21485-2_26 ◽

2019 ◽

pp. 471-486

Author(s):

Alberto Lluch Lafuente

Download Full-text

Playing with Bisimulation in Erlang

Models, Languages, and Tools for Concurrent and Distributed Programming - Lecture Notes in Computer Science ◽

10.1007/978-3-030-21485-2_6 ◽

2019 ◽

pp. 71-91 ◽

Cited By ~ 1

Author(s):

Ivan Lanese ◽

Davide Sangiorgi ◽

Gianluigi Zavattaro

Download Full-text

Models, Languages, and Tools for Concurrent and Distributed Programming - Lecture Notes in Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer International Publishing

A Distributed Ledger Technology Based on Shared Write-Once Objects

Embedding RCC8D in the Collective Spatial Logic CSLCS

Event Structure Semantics for Multiparty Sessions

From Tuscany to Scotland and Back

Building International Doctoral Schools in Computer Science in Italy, De Nicola’s Way

Modal Epistemic Logic on Contracts: A Doctrinal Approach

Fluidware: An Approach Towards Adaptive and Scalable Programming of the IoT

HeadREST: A Specification Language for RESTful APIs

A Framework for Provenance-Preserving History Distribution and Incremental Reduction

Playing with Bisimulation in Erlang

Models, Languages, and Tools for Concurrent and Distributed Programming - Lecture Notes in Computer Science
Latest Publications