Lucia Acciai

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
Behavioural contracts with request-response operations Science of Computer Programming	2013-06-06	Paper
Deciding safety properties in infinite-state pi-calculus via behavioural types Information and Computation	2012-05-24	Paper
Spatial and behavioral types in the pi-calculus Information and Computation	2010-10-07	Paper
On the relationship between spatial logics and behavioral simulations Foundations of Software Science and Computational Structures	2010-04-27	Paper
Deciding Safety Properties in Infinite-State Pi-Calculus via Behavioural Types Automata, Languages and Programming	2009-07-14	Paper
A Typed Calculus for Querying Distributed XML Documents Trustworthy Global Computing	2009-03-05	Paper
Responsiveness in process calculi Theoretical Computer Science	2008-12-12	Paper
Spatial and Behavioral Types in the Pi-Calculus CONCUR 2008 - Concurrency Theory	2008-11-25	Paper
Type Abstractions of Name-Passing Processes Lecture Notes in Computer Science	2008-07-01	Paper
A Type System for Client Progress in a Service-Oriented Calculus Concurrency, Graphs and Models	2008-06-19	Paper
XPi: a typed process calculus for XML messaging Science of Computer Programming	2008-05-19	Paper
A Concurrent Calculus with Atomic Transactions Programming Languages and Systems	2007-09-04	Paper

Research outcomes over time

This page was built for person: Lucia Acciai