Laura Bocchi

Available identifiers

zbMath Open bocchi.lauraMaRDI QIDQ517048

List of research outcomes

Publication	Date of Publication	Type
revTPL: The Reversible Temporal Process Language	2024-03-11	Paper
Asynchronous timed session types. From duality to time-sensitive processes	2023-11-24	Paper
The reversible temporal process language	2022-08-19	Paper
Progress-preserving Refinements of CTA	2021-08-04	Paper
https://portal.mardi4nfdi.de/entity/Q5129942	2020-11-03	Paper
Timed runtime monitoring for multiparty conversations	2017-11-29	Paper
Meeting Deadlines Together	2017-09-12	Paper
Monitoring networks through multiparty session types	2017-03-16	Paper
Attribute-based transactions in service oriented computing	2016-07-27	Paper
Timed Multiparty Session Types	2014-09-15	Paper
Resolving Non-determinism in Choreographies	2014-04-16	Paper
A process calculus of atomic commit	2013-09-11	Paper
A theory of design-by-contract for distributed multiparty interactions	2010-08-31	Paper
From StPowla processes to SRML models	2010-05-28	Paper
A calculus for long-running transactions.	2010-01-12	Paper
Fundamental Approaches to Software Engineering	2007-11-28	Paper

Research outcomes over time

This page was built for person: Laura Bocchi