31 citations · 106 across the 28 of their papers we have counts for
3 papers · 1 filter
A Session Subtyping Tool (Extended Version)
Lorenzo Bacchiani, Mario Bravetti, Julien Lange +1
Session types are becoming popular and have been integrated in several mainstream programming languages. Nevertheless, while many programming languages consider asynchronous fifo c…
Microservice Dynamic Architecture-Level Deployment Orchestration (Extended Version)
Lorenzo Bacchiani, Mario Bravetti, Saverio Giallorenzo +3
In the context of the BI-REX (Big Data Innovation and Research Excellence) competence center SEAWALL (SEAmless loW lAtency cLoud pLatforms) project (scientific coordinator Prof. Ma…
Fair Asynchronous Session Subtyping
Mario Bravetti, Julien Lange, Gianluigi Zavattaro
Session types are widely used as abstractions of asynchronous message passing systems. Refinement for such abstractions is crucial as it allows improvements of a given component wi…