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

TOTAL DOCUMENTS

(FIVE YEARS 27)

H-INDEX

(FIVE YEARS 2)

Published By Springer International Publishing

9783030214845, 9783030214852

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

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

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

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

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

An Equational Characterisation of the Must Testing Pre-order for Regular Processes

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

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

2019 ◽

pp. 15-27

Author(s):

Matthew Hennessy

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

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

A Distributed Ledger Technology Based on Shared Write-Once Objects

Embedding RCC8D in the Collective Spatial Logic CSLCS

Event Structure Semantics for Multiparty Sessions

A Framework for Provenance-Preserving History Distribution and Incremental Reduction

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

HeadREST: A Specification Language for RESTful APIs

An Equational Characterisation of the Must Testing Pre-order for Regular Processes

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