Search results for: Roberto Guanciale
Lecture Notes in Computer Science > Formal Techniques for Networked and Distributed Systems – FORTE 2007 > Technical Session 2. Concurrency > 66-80
Lecture Notes in Computer Science > Formal Techniques for Networked and Distributed Systems - FORTE 2006 > Services > 46-60
Lecture Notes in Computer Science > Rigorous Software Engineering for Service-Oriented Systems > Negotiations, Planning, and Reconfiguration > 326-348
Lecture Notes in Computer Science > Formal Techniques for Networked and Distributed Systems – FORTE 2008 > Specification Framework I > 134-148
Science of Computer Programming > 2010 > 75 > 10 > 848-878
Electronic Notes in Theoretical Computer Science > 2010 > 260 > Complete > 73-89