Formal Foundations for Reowolf: Multi-party Sessions via Synchronous Protocol Programming

Lecture notes in computer science, pp. 3–29

Authors 4

1. Christopher A. Esterhuyse corresponding

   University of Amsterdam

   Affiliation as printed

   University of Amsterdam, Amsterdam, The Netherlands

2. Benjamin Lion

   Institut national de recherche en sciences et technologies du numérique · Centre Inria de l'Université de Rennes

   Affiliation as printed

   INRIA, Rennes, France

3. Hans-Dieter A. Hiep Aachen Leiden Institute of Advanced Computer Science

   Leiden University · NLnet Foundation

   Affiliation as printed

   Leiden Institute of Advanced Computer Science (LIACS), Leiden, The Netherlands

   NLNet Foundation, Amsterdam, The Netherlands

4. Farhad Arbab

   Centrum Wiskunde & Informatica

   Affiliation as printed

   CWI, Amsterdam, The Netherlands