BibSonomy :: author  ::

bookmarks

publications

(11)

• Responsiveness in process calculi.
  Lucia Acciai and Michele Boreale Theor. Comput. Sci. 409 59-93 (2008)
  to dblp by dblp on 2008-11-18 00:00:00
  | URL | BibTeX  
• SensoriaPatterns: Augmenting Service Engineering with Formal Analysis, Transformation and Dynamicity.
  Martin Wirsing and Matthias M. Hölzl and Lucia Acciai and Federico Banti and Allan Clark and Alessandro Fantechi and Stephen Gilmore and Stefania Gnesi and László Gönczy and Nora Koch and Alessandro Lapadula and Philip Mayer and Franco Mazzanti and Rosario Pugliese and Andreas Schroeder and Francesco Tiezzi and Mirco Tribastone and Dániel Varró ISoLA 170-190 (2008)
  to dblp by dblp on 2008-11-14 00:00:00
  | URL | BibTeX  
• Spatial and Behavioral Types in the Pi-Calculus.
  Lucia Acciai and Michele Boreale CONCUR 372-386 (2008)
  to dblp by dblp on 2008-08-22 00:00:00
  | URL | BibTeX  
• A Type System for Client Progress in a Service-Oriented Calculus.
  Lucia Acciai and Michele Boreale Concurrency, Graphs and Models 642-658 (2008)
  to dblp by dblp on 2008-06-16 00:00:00
  | URL | BibTeX  
• XPi: A typed process calculus for XML messaging.
  Lucia Acciai and Michele Boreale Sci. Comput. Program. 71 110-143 (2008)
  to dblp by dblp on 2008-06-12 00:00:00
  | URL | BibTeX  
• Responsiveness in Process Calculi.
  Lucia Acciai and Michele Boreale ASIAN 136-150 (2006)
  to dblp by dblp on 2008-04-21 00:00:00
  | URL | BibTeX  
• A Concurrent Calculus with Atomic Transactions
  Lucia Acciai and Michele Boreale and Silvano Dal-Zilio CoRR abs/cs/0610137 (2006)
  to dblp by dblp on 2008-01-02 00:00:00
  | URL | BibTeX  
• A Typed Calculus for Querying Distributed XML Documents.
  Lucia Acciai and Michele Boreale and Silvano Dal-Zilio TGC 167-182 (2006)
  to dblp by dblp on 2007-11-29 00:00:00
  | URL | BibTeX  
• Type Abstractions of Name-Passing Processes.
  Lucia Acciai and Michele Boreale FSEN 302-317 (2007)
  to dblp by dblp on 2007-10-05 00:00:00
  | URL | BibTeX  
• A Concurrent Calculus with Atomic Transactions.
  Lucia Acciai and Michele Boreale and Silvano Dal-Zilio ESOP 48-63 (2007)
  to dblp by dblp on 2007-07-31 00:00:00
  | URL | BibTeX