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
https://portal.mardi4nfdi.de/entity/Q2847802	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
Formal Methods for Open Object-Based Distributed Systems	2010-01-12	Paper
Fundamental Approaches to Software Engineering	2007-11-28	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Laura Bocchi