Laura Bocchi

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
revTPL: The Reversible Temporal Process Language Logical Methods in Computer Science	2024-03-11	Paper
Asynchronous timed session types. From duality to time-sensitive processes Programming Languages and Systems	2023-11-24	Paper
The reversible temporal process language	2022-08-19	Paper
Progress-preserving refinements of CTA	2021-08-04	Paper
scientific article; zbMATH DE number 7269246 (Why is no real title available?) (available as arXiv preprint)	2020-11-03	Paper
scientific article; zbMATH DE number 7269246 (Why is no real title available?)	2020-11-03	Paper
Timed runtime monitoring for multiparty conversations Formal Aspects of Computing	2017-11-29	Paper
Timed runtime monitoring for multiparty conversations Formal Aspects of Computing	2017-11-29	Paper
Meeting deadlines together	2017-09-12	Paper
Monitoring networks through multiparty session types Theoretical Computer Science	2017-03-16	Paper
Attribute-based transactions in service oriented computing Mathematical Structures in Computer Science	2016-07-27	Paper
Timed multiparty session types CONCUR 2014 – Concurrency Theory	2014-09-15	Paper
Resolving non-determinism in choreographies Programming Languages and Systems	2014-04-16	Paper
A process calculus of atomic commit	2013-09-11	Paper
A theory of design-by-contract for distributed multiparty interactions CONCUR 2010 - Concurrency Theory	2010-08-31	Paper
From StPowla processes to SRML models Formal Aspects of Computing	2010-05-28	Paper
A calculus for long-running transactions. Lecture Notes in Computer Science	2010-01-12	Paper
Fundamental Approaches to Software Engineering Lecture Notes in Computer Science	2007-11-28	Paper

Research outcomes over time

This page was built for person: Laura Bocchi