Search results for: Maria Grazia Buscemi
Lecture Notes in Computer Science > CONCUR 2002 — Concurrency Theory > Models of Computation, Process Algebra > 449-465
Lecture Notes in Computer Science > Mathematical Foundations of Computer Science 2003 > Contributed Papers > 269-278
Lecture Notes in Computer Science > Concurrency, Graphs and Models > Models of Computation > 544-562
Lecture Notes in Computer Science > Rigorous Software Engineering for Service-Oriented Systems > Negotiations, Planning, and Reconfiguration > 262-281
Lecture Notes in Computer Science > Programming Languages and Systems > Models and Languages for Web Services > 18-32
Lecture Notes in Computer Science > Foundations of Software Science and Computation Structures > Contributed Papers > 104-120
Lecture Notes in Computer Science > Programming Languages and Systems > Service-Oriented Computing > 301-315
Journal of Automated Reasoning > 2012 > 49 > 2 > 161-183
Journal of Grid Computing > 2012 > 10 > 3 > 501-519
Journal of Logic and Algebraic Programming > 2011 > 80 > 1 > 13-24
Computer Science Review > 2008 > 2 > 3 > 137-141
Journal of Logic and Algebraic Programming > 2007 > 72 > 1 > 78-97
Electronic Notes in Theoretical Computer Science > 2006 > 162 > Complete > 135-139
Theoretical Computer Science > 2005 > 338 > 1-3 > 393-425