ACCIAI, LUCIA
ACCIAI, LUCIA
SISTEMI E INFORMATICA (attivo dal 01/08/1980 al 31/12/2012)
A Concurrent Calculus with Atomic Transactions
2007 L. ACCIAI; M. BOREALE; S. DAL ZILIO
A Process-Algebraic view of Service Oriented Architectures
2007 L. Acciai
A Type System for Client Progress in a Service-Oriented Calculus
2008 L.Acciai; M.Boreale
A Typed Calculus for Querying Distributed XML Documents
2006 L. ACCIAI; M. BOREALE; S. DAL-ZILIO
Behavioural contracts with request-response operations
2013 L.Acciai; M.Boreale; G.Zavattaro
Behavioural contracts with request-response operations
2010 L. Acciai; M. Boreale; G. Zavattaro
Deciding Safety Properties in Infinite-State Pi-Calculus via Behavioural Types
2009 L.Acciai; M.Boreale
Deciding safety properties in infinite-state pi-calculus via behavioural types
2012 L.Acciai; M.Boreale
Linear-Time and May-Testing in a Probabilistic Reactive Setting
2011 L.Acciai; M.Boreale; R.De Nicola
On the relationship between spatial logics and behavioral simulations
2010 L.Acciai; M.Boreale; G.Zavattaro
Responsiveness in process calculi
2008 L.Acciai; M.Boreale
Responsiveness in Process Calculi
2006 L. ACCIAI; M. BOREALE
Spatial and behavioral types in the pi-calculus
2010 L.Acciai; M.Boreale
Spatial and Behavioral Types in the Pi-Calculus
2008 L.Acciai; M.Boreale
Static Analysis Techniques for Session-Oriented Calculi
2011 L.Acciai; C.Bodei; M.Boreale; R.Bruni; H.Vieira
Type Abstractions of Name-Passing Processes
2007 L. ACCIAI; M. BOREALE
XPi: A Typed Process Calculus for XML Messaging
2005 L.ACCIAI; M. BOREALE
XPi: A typed process calculus for XML messaging
2008 L.Acciai; M.Boreale