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

TOTAL DOCUMENTS

18
(FIVE YEARS 18)

H-INDEX

0
(FIVE YEARS 0)

Published By Springer International Publishing

9783030781415, 9783030781422
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

A Session Subtyping Tool

2021 ◽  
pp. 90-105
Author(s):  
Lorenzo Bacchiani ◽  
Mario Bravetti ◽  
Julien Lange ◽  
Gianluigi Zavattaro
Keyword(s):  
Subtyping Tool

Java Typestate Checker

2021 ◽  
pp. 121-133
Author(s):  
João Mota ◽  
Marco Giunti ◽  
António Ravara

scholarly journals Jolie and LEMMA: Model-Driven Engineering and Programming Languages Meet on Microservices

2021 ◽  
pp. 276-284
Author(s):  
Saverio Giallorenzo ◽  
Fabrizio Montesi ◽  
Marco Peressotti ◽  
Florian Rademacher ◽  
Sabine Sachweh
Keyword(s):  
Programming Languages ◽  
Model Driven Engineering ◽  
Model Driven

scholarly journals Towards Probabilistic Session-Type Monitoring

2021 ◽  
pp. 106-120
Author(s):  
Christian Bartolo Burlò ◽  
Adrian Francalanza ◽  
Alceste Scalas ◽  
Catia Trubiani ◽  
Emilio Tuosto
Keyword(s):  
Session Type

ReGraDa: Reactive Graph Data

2021 ◽  
pp. 188-205
Author(s):  
Leandro Galrinho ◽  
João Costa Seco ◽  
Søren Debois ◽  
Thomas Hildebrandt ◽  
Håkon Norman ◽  
...  
Keyword(s):  
Graph Data

ScaFi-Web: A Web-Based Application for Field-Based Coordination Programming

2021 ◽  
pp. 285-299
Author(s):  
Gianluca Aguzzi ◽  
Roberto Casadei ◽  
Niccolò Maltoni ◽  
Danilo Pianini ◽  
Mirko Viroli
Keyword(s):  
Web Based
Load More ...
Sign in / Sign up

Export Citation Format

Share Document