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

TOTAL DOCUMENTS

24
(FIVE YEARS 24)

H-INDEX

2
(FIVE YEARS 2)

Published By Springer International Publishing

9783030500283, 9783030500290
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals Renegotiation and Recursion in Bitcoin Contracts

2020 ◽  
pp. 261-278 ◽  
Author(s):  
Massimo Bartoletti ◽  
Maurizio Murgia ◽  
Roberto Zunino

scholarly journals Event-Based Customization of Multi-tenant SaaS Using Microservices

2020 ◽  
pp. 171-180
Author(s):  
Espen Tønnessen Nordli ◽  
Phu H. Nguyen ◽  
Franck Chauvel ◽  
Hui Song
Keyword(s):  
Event Based

scholarly journals Time-Fluid Field-Based Coordination

2020 ◽  
pp. 193-210
Author(s):  
Danilo Pianini ◽  
Stefano Mariani ◽  
Mirko Viroli ◽  
Franco Zambonelli
Keyword(s):  
Fluid Field

scholarly journals Implementing Multiparty Session Types in Rust

2020 ◽  
pp. 127-136
Author(s):  
Nicolas Lagaillardie ◽  
Rumyana Neykova ◽  
Nobuko Yoshida
Keyword(s):  
Session Types

scholarly journals Choreography Automata

2020 ◽  
pp. 86-106 ◽  
Author(s):  
Franco Barbanera ◽  
Ivan Lanese ◽  
Emilio Tuosto

scholarly journals CHOReVOLUTION: Hands-On In-Service Training for Choreography-Based Systems

2020 ◽  
pp. 3-19
Author(s):  
Marco Autili ◽  
Amleto Di Salle ◽  
Claudio Pompilio ◽  
Massimo Tivoli
Keyword(s):  
Hands On ◽  
Service Training

scholarly journals Towards Energy-, Time- and Security-Aware Multi-core Coordination

2020 ◽  
pp. 57-74
Author(s):  
Julius Roeder ◽  
Benjamin Rouxel ◽  
Sebastian Altmeyer ◽  
Clemens Grelck

scholarly journals A True Concurrent Model of Smart Contracts Executions

2020 ◽  
pp. 243-260
Author(s):  
Massimo Bartoletti ◽  
Letterio Galletta ◽  
Maurizio Murgia
Keyword(s):  
Smart Contracts
Load More ...
Sign in / Sign up

Export Citation Format

Share Document