ACCIAI, LUCIA

ACCIAI, LUCIA  

SISTEMI E INFORMATICA (attivo dal 01/08/1980 al 31/12/2012)  

Mostra records
Risultati 1 - 18 di 18 (tempo di esecuzione: 0.039 secondi).
Titolo Data di pubblicazione Autore(i) File
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