Lucia Acciai

Available identifiers

zbMath Open acciai.luciaWikidataQ102326227 ScholiaQ102326227MaRDI QIDQ418154

List of research outcomes

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

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: Lucia Acciai