4 papers
A Reversible Semantics for Janus
Ivan Lanese, Germán Vidal
Janus is a paradigmatic example of a reversible programming language. Indeed, Janus programs can be executed backwards as well as forwards. However, its current small-step semantic…
Adaptable TeaStore: A Choreographic Approach
Giuseppe De Palma, Saverio Giallorenzo, Ivan Lanese +1
The Adaptable TeaStore has recently been proposed as a reference model for adaptable microservice architectures. It includes different configurations, as well as scenarios requirin…
Adaptable TeaStore
Simon Bliudze, Giuseppe De Palma, Saverio Giallorenzo +3
Modern cloud-native systems require adapting dynamically to changing operational conditions, including service outages, traffic surges, and evolving user requirements. While existi…
A Behavioral Theory for Distributed Systems with Weak Recovery
Giovanni Fabbretti, Ivan Lanese, Jean-Bernard Stefani
Distributed systems can be subject to various kinds of partial failures, therefore building fault-tolerance or failure mitigation mechanisms for distributed systems remains an impo…