31 citations · 53 across the 15 of their papers we have counts for
3 papers · 1 filter
Microservice Interface Based Deployment Orchestration
Lorenzo Bacchiani, Mario Bravetti, Saverio Giallorenzo +3
Following previous work on the automated deployment orchestration of component based applications, where orchestrations are expressed in terms of behaviours satisfying component in…
Behavioural Types for Memory and Method Safety in a Core Object-Oriented Language
Mario Bravetti, Adrian Francalanza, Iaroslav Golovanov +4
We present a type-based analysis ensuring memory safety and object protocol completion in the Java-like language Mungo. Objects are annotated with usages, typestates-like specifica…
Axiomatizing Maximal Progress and Discrete Time
Mario Bravetti
Milner's complete proof system for observational congruence is crucially based on the possibility to equate divergent expressions to non-divergent ones by means of the axiom $r…