Recent Publications (within roughly the last year):
- Distributed Consensus, Revisited
(46p, with Rachele Fuzzati and Massimo Merro)
To appear in: Acta Informatica.
Available as LAMP-ARTICLE-2007-002, EPFL (June 2007).
- A Formal Semantics for Protocol Narrations
(44p, with Sébastien Briais)
To appear in: Journal of Theoretical Computer Science.
Available as LAMP-ARTICLE-2007-001, EPFL (January 2007).
- Open Bisimulation, Revisited
(58p, with Sébastien Briais)
To appear in: Journal of Theoretical Computer Science.
Available from EPFL as LAMP-ARTICLE-2006-001, EPFL (October 2006).
- Much Ado About Nothing?
(5p, with Rachele Fuzzati).
In: Proceedings of the Workshop Algebraic Process Calculi: The First Twenty Five Years and Beyond (APC 25), pages 167-171, volume 162 of ENTCS.
© Elsevier B. V. (September 2006).
- Welcome to the Jungle: A Subjective Guide to Mobile Process Calculi
(12p, Invited Tutorial)
In: Proceedings of CONCUR 2006, LNCS 4137, pages 52-63.
© Springer-Verlag (August 2006).
- Calculus of Cryptographic Communication
(22p, with Johannes Borgström and Simon Kramer)
In: Proceedings of FCS-ARSPA 2006, pages 91-112 (August 2006).
- Advances in the Design and Implementation of Group Communication Middleware
(23p, with Daniel Bünzli, Rachele Fuzzati, Sergio Mena de la Cruz, Olivier Rütti, André Schiper and Pawel T. Wojciechowski)
In: Dependable Systems: Software, Computing, Networks, LNCS 4028, pages 171-193.
© Springer-Verlag (July 2006).
|