Sfoglia per Autore  ACCIAI, LUCIA

Opzioni
Mostrati risultati da 1 a 18 di 18
Titolo Data di pubblicazione Autore(i) File
XPi: A Typed Process Calculus for XML Messaging 2005 L.ACCIAI; M. BOREALE
Responsiveness in Process Calculi 2006 L. ACCIAI; M. BOREALE
A Typed Calculus for Querying Distributed XML Documents 2006 L. ACCIAI; M. BOREALE; S. DAL-ZILIO
A Process-Algebraic view of Service Oriented Architectures 2007 L. Acciai
Type Abstractions of Name-Passing Processes 2007 L. ACCIAI; M. BOREALE
A Concurrent Calculus with Atomic Transactions 2007 L. ACCIAI; M. BOREALE; S. DAL ZILIO
Responsiveness in process calculi 2008 L.Acciai; M.Boreale
A Type System for Client Progress in a Service-Oriented Calculus 2008 L.Acciai; M.Boreale
Spatial and Behavioral Types in the Pi-Calculus 2008 L.Acciai; M.Boreale
XPi: A typed process calculus for XML messaging 2008 L.Acciai; M.Boreale
Deciding Safety Properties in Infinite-State Pi-Calculus via Behavioural Types 2009 L.Acciai; M.Boreale
Spatial and behavioral types in the pi-calculus 2010 L.Acciai; M.Boreale
Behavioural contracts with request-response operations 2010 L. Acciai; M. Boreale; G. Zavattaro
On the relationship between spatial logics and behavioral simulations 2010 L.Acciai; M.Boreale; G.Zavattaro
Static Analysis Techniques for Session-Oriented Calculi 2011 L.Acciai; C.Bodei; M.Boreale; R.Bruni; H.Vieira
Linear-Time and May-Testing in a Probabilistic Reactive Setting 2011 L.Acciai; M.Boreale; R.De Nicola
Deciding safety properties in infinite-state pi-calculus via behavioural types 2012 L.Acciai; M.Boreale
Behavioural contracts with request-response operations 2013 L.Acciai; M.Boreale; G.Zavattaro
Mostrati risultati da 1 a 18 di 18
Legenda icone

  •  file ad accesso aperto
  •  file disponibili sulla rete interna
  •  file disponibili agli utenti autorizzati
  •  file disponibili solo agli amministratori
  •  file sotto embargo
  •  nessun file disponibile