MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for authors named "Lucia Acciai" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 4 documents found, showing 1 through 4.
ATOM RSS
  • Type abstractions of name-passing processes  
  • by Lucia Acciai, Michele Boreale — 2007 — In Proceedings of IPM International Symposium on Fundamentals of Software Engineering (FSEN
  • …Type abstractions of name-passing processes ⋆ Lucia Acciai 1 and Michele Boreale 2 1 Laboratoire d…
  • Cited by 1 (0 self) – Add To MetaCart
  • A concurrent calculus with atomic transactions  
  • by Lucia Acciai, Michele Boreale, Silvano Dal Zilio — 2007 — In Proc. of 16th European Symposium on Programming (ESOP’07), volume 4421 of Lect
  • …A Concurrent Calculus with Atomic Transactions Lucia Acciai 1 , Michele Boreale 2 , and Silvano…
  • Cited by 3 (0 self) – Add To MetaCart
Help! Showing 1 through 4.
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB