Lucia Acciai

Available identifiers

Publication	Date of Publication	Type
Behavioural contracts with request-response operations	2013-06-06	Paper
Deciding safety properties in infinite-state pi-calculus via behavioural types	2012-05-24	Paper
Spatial and behavioral types in the pi-calculus	2010-10-07	Paper
On the Relationship between Spatial Logics and Behavioral Simulations	2010-04-27	Paper
Deciding Safety Properties in Infinite-State Pi-Calculus via Behavioural Types	2009-07-14	Paper
A Typed Calculus for Querying Distributed XML Documents	2009-03-05	Paper
Responsiveness in process calculi	2008-12-12	Paper
Spatial and Behavioral Types in the Pi-Calculus	2008-11-25	Paper
Type Abstractions of Name-Passing Processes	2008-07-01	Paper
A Type System for Client Progress in a Service-Oriented Calculus	2008-06-19	Paper
XPi: a typed process calculus for XML messaging	2008-05-19	Paper
A Concurrent Calculus with Atomic Transactions	2007-09-04	Paper

This page was built for person: Lucia Acciai