Publications ( DBLP | CiteSeer )

• Editorial: Selected Papers of the Tenth International Workshop on Expressiveness in Concurrency (EXPRESS'03).
  (with Flavio Corradini).
  In: Journal of Theoretical Computer Science, volume 330, issue 3.
  © Elsevier Inc. (Online February 2005).

• Proceedings of EXPRESS '03 (acceptance rate 9/29)
  (10th International Workshop on) Expressiveness in Concurrency
  (with Flavio Corradini)
  Published as Volume 96 of ENTCS (June 2004).
  © 2004 Elsevier B.V.

• Editorial: Special issue on The pi-calculus (acceptance rate 4/11)
  (with Björn Victor).
  In: Journal of Logic and Algebraic Programming, volume 63, issue 1.
  © Elsevier Inc. (April 2005; online version available since March 2004).

• Proceedings of FMOODS 2003 (acceptance rate 18/63)
  (with Elie Najm and Perdita Stevens, editors)
  LNCS 2884.
  © Springer-Verlag (November 2003).

• Editorial: Selected Papers of the Ninth International Workshop on Expressiveness in Concurrency (EXPRESS'02).
  (with Prakash Panangaden).
  In: Nordic Journal of Computing, volume 10, number 2, Summer 2003.

• Proceedings of EXPRESS '02, (9th International Workshop on) Expressiveness in Concurrency
  (with Prakash Panangaden)
  Published as Volume 68.2 of ENTCS, September 2002.

• Proceedings of SOAP '99, (2nd International Workshop on) Semantics of Objects As Processes
  (with Hans Hüttel, Josva Kleist, and António Ravara)
  Published as BRICS Notes Series 99-2, June 1999.

• Proceedings of HLCL '98, (3rd International Workshop on) High-Level Concurrent Languages
  (with Benjamin C. Pierce)
  Published as Volume 16.3 of ENTCS, September 1998.

• Proceedings of SOAP '98, (1st International Workshop on) Semantics of Objects As Processes (with Hans Hüttel)
  Published as BRICS Notes Series 98-5, June 1998.

• On Bisimulations for the Spi Calculus
  (65p, with Johannes Borgström).
  In: Journal of Mathematical Structures in Computer Science 15, pages 487-552.
  © Cambridge University Press (June 2005).

• Mobile Objects as Mobile Processes (with Massimo Merro and Josva Kleist).
  Journal of Information & Computation 177(2): 195-241 (October 2002).
  Latest version available as EPFL Technical Report IC/2002/72.

• Aliasing Models for Mobile Objects (with Hans Hüttel, Josva Kleist, and Massimo Merro).
  Journal of Information & Computation 175(1): 3-33 (May 2002).
  Latest version available as BRICS Report RS-99-44.

• Decoding Choice Encodings (with Benjamin C. Pierce).
  Journal of Information & Computation 163(1): 1-59 (Nov 2000).
  Latest version (1999) available as BRICS Report RS-99-42.
  First revision (1997) available as ERCIM Research Report 10/97-R051.
  Initial version (1996) available as Interner Bericht IMMD VII-01/96, University of Erlangen, and Technical Report 392, University of Cambridge.

• What Is a `Good' Encoding of Guarded Choice?
  Journal of Information & Computation 156: 287-319 (Jan 2000).
  Latest version (1999) available as BRICS Report RS-99-43.
  Initial version (1997) available as BRICS Report 97-45.

• Protocol Composition Frameworks, A Header Driven Model (Abstract)
  (4p, with Daniel Bünzli and Sergio Mena de la Cruz).
  In: Proceedings of IEEE NCA 2005, pages 243-246 (July 2005).

• Much Ado About Nothing?
  (4p, with Rachele Fuzzati).
  In: Short Contributions from the Workshop on Algebraic Process calculi: The First Twenty Five Years and Beyond, pages 108-111 (June 2005).
  BRICS Notes Series NS-05-3, to appear as volume in ENTCS.

• Open Bisimulation, Revisited.
  (12p, with Sébastien Briais)
  In: Preliminary Proceedings of EXPRESS 2005, pages 93-105, Computer Science Reports 05/20 of TU Eindhoven, (July 2005).

• Verifying a Structured Peer-to-peer Overlay Network: The Static Case
  (16p, with Johannes Borgström, Luc Onana Alima, and Dilian Gurov)
  In: Proceedings of Global Computing 2004 , LNCS 3267, pages 251-266.
  © Springer-Verlag (February 2005).

• Symbolic Bisimulation in the Spi Calculus
  (16p, with Johannes Borgström and Sébastien Briais)
  In: Proceedings of CONCUR 2004 (acceptance rate 29/134), LNCS 3170, pages 161-176.
  © Springer-Verlag (September 2004).

• Unreliable Failure Detectors via Operational Semantics
  (18p, with Rachele Fuzzati)
  In: Proceedings of Advances in Computing Science - ASIAN 2003 (acceptance rate 16/53), LNCS 2896, pages 54-71.
  © Springer-Verlag (December 2003).

• Modeling Consensus in a Process Calculus
  (15p, with Rachele Fuzzati and Massimo Merro).
  In: Proceedings of CONCUR 2003 (acceptance rate 29/107), LNCS 2761, pages 399-414.
  © Springer-Verlag (August 2003).
  

• On Bisimulations for the Spi Calculus
  (with Johannes Borgström).
  In: Proceedings of AMAST 2002, LNCS 2422, pages 287-303.
  © Springer-Verlag (September 2002).

• Mobile Objects "Must" Move Safely
  (with Sébastien Briais).
  In: Proceedings of FMOODS 2002, pages 129-146.
  © Kluwer Academic Publishers (March 2002).
  

• Local pi-Calculus at Work: Mobile Objects as Mobile Processes
  (with Massimo Merro and Josva Kleist).
  In: Proceedings of TCS 2000, LNCS 1872, pages 390-408.
  © Springer-Verlag (August 2000).

• Semantics of Objects As Processes (SOAP) (with António Ravara)
  An introduction to, and summary of, the 2nd International SOAP-Workshop.
  In: ECOOP Workshop Reader, pages 314-325, LNCS 1743.
  © Springer-Verlag (October 1999).

• Aliasing Models for Object Migration
  (15p, with Hans Hüttel, Josva Kleist, and Massimo Merro).
  As Distinguished Paper in: Proceedings of EURO-PAR'99, LNCS 1685, pages 1353-1368.
  © Springer-Verlag (September 1999).
  Full version accepted for journal publication

• Mobile Objects (a project overview) (10p).
  In: Proceedings of FBT'99 (June 17-18, 1999), pages 155-164. Herbert Utz Verlag, 1999.

• Migration = Cloning ; Aliasing (preliminary version)
  (14p, with Hans Hüttel, Josva Kleist, and Massimo Merro).
  In: Informal Proceedings of FOOL 6, January 23, 1999.
  Available as BRICS Report RS-98-33.

• On the Expressive Power of Joint Input (8p).
  In: Proceedings of EXPRESS '98, Volume 16.2 of ENTCS, September 1998.

• Surrogates in Øjeblik: Towards Migration in Obliq
  (8p, with Hans Hüttel, Josva Kleist, and Davide Sangiorgi).
  In: Informal Proceedings of SOAP, June 1998.

• What Is a `Good' Encoding of Guarded Choice? (21p).
  In: Proceedings of EXPRESS'97, Volume 7 of ENTCS, September 1997.
  Full version accepted for journal publication

• Typing Confluence.
  (25p, with Martin Steffen).
  In: Proceedings of FMICS'97, pages 77-101. CNR Pisa, 1997.
  Available as ERCIM Research Report 10/97-R052.

• Decoding Choice Encodings (Extended Abstract).
  (16p, with Benjamin C. Pierce).
  In: Proceedings of CONCUR'96, pages 179-194. LNCS 1119.
  © Springer-Verlag (August 1996).
  Full version accepted for journal publication.

• Formale Semantik für asynchronen Methodenaufruf.
  (10p, in German, with Martin Steffen and Terry Stroup).
  In: R. Gotzhein and J. Bredereke, editors, Proceedings of the 5th `GI/ITG-Fachgespräch über Formale Beschreibungstechniken für verteilte Systeme' (Kaiserslautern, 22.-23. Juni 1995), pages 169-178, 1995.

• Correct Transformational Design of Concurrent Search Structures.
  (20p, with Martin Steffen).
  In: B. Freitag, C. Jones, C. Lengauer, H.-J. Schek, editors, Object-Orientation with Parallelism and Persistence (contributions generated from Dagstuhl-Seminar 9514, April '95).
  © Kluwer Academic Publishers (1996).

• Verifikationstechniken für Verteilte Systeme.
  (with Norbert Götz, in German).
  In: H. Wedekind, editor, Verteilte Systeme: Grundlagen und zukünftige Entwicklung aus der Sicht des Sonderforschungsbereichs 182 "Multiprozessor- und Netzwerkkonfigurationen", pages 494-508. Wissenschaftsverlag, Mannheim, 1994.

• Calculi for Mobile Processes - Bibliography and Web Pages
  (6p, with Björn Victor).
  In: Bulletin of the EATCS, number 64, pages 139-144, February 1998. See also Calculi for Mobile Processes.

(not published elsewhere)

• Protocol Composition Frameworks, A Header Driven Model
  (10p, with Daniel Bünzli and Sergio Mena de la Cruz).
  EPFL Technical report IC/2005/007 (March 2005).

• Verifying a Structured Peer-to-peer Overlay Network: The Static Case
  (21p, with Johannes Borgström, Luc Onana Alima, and Dilian Gurov)
  EPFL Technical report IC/2004/76 (September 2004).

• Confluent Processes for Transformation Correctness (Preliminary Version).
  (with Michael Egner and Martin Steffen).
  University of Erlangen, Interner Bericht IMMD VII-01/95, January 1995.

• A Chemical Abstract Machine for a Calculus of Communicating Functions.
  (4p, with Laszlo Teleki).
  University of Erlangen, Interner Bericht IMMD VII-14/92, December 1992.

• Towards a Calculus of Communicating Functions.
  (13p, with Laszlo Teleki).
  University of Erlangen, Interner Bericht IMMD VII-13/92, December 1992.

• On Determinacy and Nondeterminacy in Concurrent Programming (250p).
  PhD thesis (Dissertation zur Erlangung des Grades Doktor-Ingenieur), Technische Fakultät, Universität Erlangen, Graduation Date: 26. September 1996. Arbeitsbericht 29(14) des IMMD, November 1996.

• Parallele Prozesse und Funktionale Sprachen (in German).
  Universität Erlangen, Diplomarbeit IMMD VII, July 1991.

• Institutionen für CCS (with Thomas Amrhein, in German).
  Universität Erlangen, Studienarbeit IMMD VII, April 1990.

2006

• Welcome to the Jungle: A Subjective Guide to Mobile Process Calculi
  Invited Tutorial Talk at CONCUR 2006; August 27.

2005

• Much Ado About Nothing
  Presentation at Algebraic Process Calculi: The First Twenty Five Years and Beyond; August 1-5.

2004

• Proofs for Mobile Objects
  Invited Talk at WOOD 2004; April 30.
  

• Formale Beweise für Fehlertolerante Verteilte Algorithmen
  Sonderkolloquium, Technical University of Berlin; January 6.

2003

• Unreliable Failure Detectors via Operational Semantics
  Paper presentation at ASIAN Computing Science Conference; December 10.

• Modeling of and Reasoning about Fault-Tolerant Distributed Algorithms
  Using Process Calculi and Operational Semantics
  Presentation at Process Algebra: Open Problems and Future Directions; July 22.

2002

• Moderne Prozesskalküle für Sicherheitsprotokolle
  Gastvortrag, University of Bamberg; December 17.

• Prozesskalküle für Fehlertolerante Verteilte Algorithmen
  Sonderkolloquium, Technical University of München; December 2.

• Nominal Calculi
  EPFL-IC Research Day; July 8.
  

• Modeling Consensus in a Process Calculus
  COGS Computer Science Seminar, University of Sussex at Brighton; May 9.
  Joint IC/QM Theory Seminar, University of London; May 8.
  

• Mobile Objects "Must" Move Safely
  Presentation at FMOODS 2002; March 21.
  

• Modeling Consensus in a Process Calculus
  Presentation at 1st PEPITO-meeting, INRIA Rocquencourt; February 2.
  

2001

• On Proofs for Mobile Objects
  Invited Talk at PFM; April 7.
  

2000

• How much of Objects do Processes Need?
  Presentation at YOO; August 26.
  

• What's TyCO, After All?
  Presentation at EXPRESS '00; August 21.
  

1999

• Migration = Cloning ; Aliasing
  Presentation at EPF Lausanne; November 30.
  Presentation at NWPT'99; October 8.

• Aliasing Models for Object Migration
  Paper presentation at EURO-PAR'99; September 3.

• Mobile Objects (a project overview)
  Paper presentation at FBT'99; June 18.

• Migration = Cloning ; Aliasing
  BRICS Seminar, Aarhus University; June 2.
  BRICS/DSS Seminar, Aalborg University; May 7.
  Logic and Computation Seminar, University of Pennsylvania; January 25.

• On Migration in Repliq
  Paper presentation at FOOL 6; January 23.

1998

• On the Expressive Power of Joint Input
  BRICS Seminar, Aalborg University; October 23.
  Paper presentation at EXPRESS '98; September 7.

• Spoilt for Choice
  Verification Seminar, Technical University of Copenhagen; August 26.

• What is a `Good' Encoding of Guarded Choice? (45m)
  Department of Mathematics Seminars, Technical University of Lisbon; March 26.

• Et Øjeblik: Migration in a Language with Distributed Scope (45m)
  Department of Informatics Seminars, University of Lisbon; March 25.

• On the Join-Calculus (60m)
  BRICS Seminar, Aalborg University; February 20.

1997

• What is a `Good' Encoding of Guarded Choice? (30m)
  Paper presentation at EXPRESS'97, Santa Margherita Ligure; September 9.

• Typing Confluence (30m)
  Paper presentation at FMICS'97, Cesena; July 4.

• Fork & Join für Mobile Prozesse (60m)
  Kolloquium des SFB182, Erlangen; July 2.

• What is a `Good' Encoding of Guarded Choice? (45m)
  MEIJE-seminar, INRIA Sophia-Antipolis; May 22.
  BRICS seminar, University of Aalborg; April 28.

• Encoding Mixed-Guarded Choice. (30m)
  CONFER-2 workshop, University of Bologna; March 24.

1996

• On Determinacy and Nondeterminacy in Concurrent Programming. (50-60m)
  LFCS theory seminar, University of Edinburgh; November 26.
  BRICS seminar, University of Aarhus; November 20.
  BRICS seminar, University of Aalborg; November 19.

• Choice Encodings. (35m)
  Seminar 9638: Expressiveness in Concurrency, Dagstuhl; September 17.

• Objekte als (Mobile) Prozesse. (30m)
  Database Research Group, ETH Zürich; September 11.

• Decoding Choice Encodings (25m). (2up).
  Paper presentation at CONCUR'96, Pisa; August 26.

• Decoding Choice Encodings (60m).
  MEIJE-seminar, INRIA Sophia-Antipolis; January 14.