Publications

Differential Topology:

Counting:

Philosophy (logic):

Theoretical Computer Science:

  1. Notes on the methodology of CCS and CSP, Report CS-R8624, Centre for Mathematics and Computer Science, Amsterdam 1986; Theoretical Computer Science 177(2), 1997, pp. 329-349.
  2. Bounded nondeterminism and the approximation induction principle in process algebra, Report CS-R8634, Centre for Mathematics and Computer Science, Amsterdam 1986. Extended abstract in: Proceedings STACS 87, Passau, Germany 1987 (F.J. Brandenburg, G. Vidal-Naquet & M. Wirsing, eds.), LNCS 247, Springer-Verlag, 1987, pp. 336-347.
  3. (with J.C.M. Baeten) Another look at abstraction in process algebra, Report CS-R8701, Centre for Mathematics and Computer Science, Amsterdam 1987. Extended abstract in: Proceedings ICALP 87, Karlsruhe, Germany 1987 (Th. Ottman, ed.), LNCS 267, Springer-Verlag, 1987, pp. 84-94.
  4. (with J.C.M. Baeten) Merge and termination in process algebra, Report CS-R8716, Centre for Mathematics and Computer Science, Amsterdam 1987; in: Proceedings 7th Conference on Foundations of Software Technology & Theoretical Computer Science, Pune, India 1987 (K.V. Nori, ed.), LNCS 287, Springer-Verlag, 1987, pp. 153-172.
  5. (with J.C.M. Baeten) Abstraction and empty process in process algebra, Report CS-R8721, Centre for Mathematics and Computer Science, Amsterdam 1987; Fundamenta Informaticae XII, 1989, pp. 221-242.
  6. (with F.W. Vaandrager) Petri net models for algebraic theories of concurrency (extended abstract), in: Proceedings PARLE conference, Eindhoven, The Netherlands 1987, Vol. II (Parallel Languages) (J.W. de Bakker, A.J. Nijman & P.C. Treleaven, eds.), LNCS 259, Springer-Verlag, 1987, pp. 224-242.
  7. Unpublished: De semantiek van eindige, sequentiële processen met interne acties, Syllabus processemantieken, deel 2. Handwritten manuscript, in Dutch.
  8. (with F.W. Vaandrager) Modular specifications in process algebra - with curious queues, Report CS-R8821, Centre for Mathematics and Computer Science, Amsterdam 1988. Extended abstract in: Proceedings of the Workshop on Algebraic Methods: Theory, Tools and Applications, Passau, Germany 1987 (M. Wirsing & J.A. Bergstra, eds.), LNCS 394, Springer-Verlag, 1989, pp. 465-506.
  9. (editor, with E.-R. Olderog and U. Goltz) Combining compositionality and concurrency, summary of a GMD-workshop, Königswinter 1988, Arbeitspapiere der GMD 320, Sankt Augustin, Germany 1988.
  10. (with P.H. Rodenburg) An interpolation theorem in equational logic, Report CS-R8838, Centre for Mathematics and Computer Science, Amsterdam 1988.
  11. (with U. Goltz) Equivalence notions for concurrent systems and refinement of actions, Arbeitspapiere der GMD 366, Sankt Augustin, Germany 1989. Extended abstract in: Proceedings 14th Symposium on Mathematical Foundations of Computer Science (MFCS), Poræbka-Kozubnik, Poland 1989 (A. Kreczmar & G. Mirkowska, eds.), LNCS 379, Springer-Verlag, 1989, pp. 237-248.
  12. (with W.P. Weijland) Branching time and abstraction in bisimulation semantics (extended abstract), Report CS-R8911, Centre for Mathematics and Computer Science, Amsterdam 1989; in Information Processing 89: Proceedings of the IFIP 11th World Computer Congress, San Fransisco, USA 1989 (G.X. Ritter, ed.), Elsevier Science Publishers B.V. (North Holland), 1989, pp. 613-618.
  13. (with W.P. Weijland) Refinement in branching time semantics, Report CS-R8922, Centre for Mathematics and Computer Science, Amsterdam 1989; in: J.W. de Bakker, 25 jaar semantiek, liber amicorum, Centre for Mathematics and Computer Science, Amsterdam 1989, pp. 247-252; and in: Proceedings AMAST Conference, Iowa City, USA 1989, pp. 197-201.
  14. (with J.J.M.M. Rutten) The processes of De Bakker and Zucker represent bisimulation equivalence classes, in: J.W. de Bakker, 25 jaar semantiek, liber amicorum, Centre for Mathematics and Computer Science, Amsterdam 1989, pp. 243-246.
  15. (with U. Goltz) Partial order semantics for refinement of actions - neither necessary nor always sufficient but appropriate when used with care -, Note CS-N8901, Centre for Mathematics and Computer Science, Amsterdam 1989; Bulletin of the EATCS 38, 1989, pp. 154-163.
  16. The refinement theorem for ST-bisimulation semantics, Report CS-R9002, Centre for Mathematics and Computer Science, Amsterdam 1990; in: Proceedings IFIP Working Conference on Programming Concepts and Methods, Sea of Gallilee, Israel 1990 (M. Broy & C.B. Jones, eds.), Elsevier Science Publishers B.V. (North-Holland), 1990, pp. 27-52.
  17. (with U. Goltz) Refinement of actions in causality based models, Arbeitspapiere der GMD 428, Sankt Augustin, Germany 1990; in: Proceedings REX Workshop on Stepwise Refinement of Distributed Systems: Models, Formalism, Correctness, Mook, The Netherlands 1989 (J.W. de Bakker, W.-P. de Roever & G. Rozenberg, eds.), LNCS 430, Springer-Verlag, 1990, pp. 267-300.
  18. Comparative concurrency semantics and refinement of actions, Ph.D Thesis, Free University of Amsterdam, Centre for Mathematics and Computer Science, Amsterdam 1990. Second edition available as CWI tract 109, CWI, Amsterdam 1996.
  19. (with S.A. Smolka, B. Steffen & C. Tofts) Reactive, generative, and stratified models of probabilistic processes, Report CS-R9020, Centre for Mathematics and Computer Science, Amsterdam 1990; in: Proceedings 5th Annual IEEE Symposium on Logic in Computer Science (LICS 90), Philadelphia, USA, IEEE Computer Society Press, Los Alamitos 1990, pp. 130-141.
  20. The linear time - branching time spectrum, Report CS-R9029, Centre for Mathematics and Computer Science, Amsterdam 1990; and Report TUM-I9025, Technical University of Munich, Munich, Germany 1990. Extended abstract in: Proceedings CONCUR '90, Amsterdam (J.C.M. Baeten & J.W. Klop, eds.), LNCS 458, Springer-Verlag, 1990, pp. 278-297.
  21. (with U. Goltz) Equivalences and refinement, Report TUM-I9024, Technical University of Munich, Munich, Germany 1990; in: Semantics of Systems of Concurrent Processes, LITP Spring School on Theoretical Computer Science, La Roche-Posay, France 1990, LNCS 469, Springer-Verlag, 1990, pp. 309-333.
  22. (with U. Goltz) A deadlock-sensitive congruence for action refinement, Report TUM-I9044, Technical University of Munich, Munich, Germany 1990. Abstract in: Proceedings 3rd Workshop on Concurrency and Compositionality, Goslar, March 5-8, 1991 (E. Best & G. Rozenberg, eds.), GMD-Studien Nr. 191, Sankt Augustin, Germany 1991, pp. 113-116.
  23. (with F.W. Vaandrager) Modular specification of process algebras, Report TUM-I9051, Technical University of Munich, Munich, Germany 1990; Theoretical Computer Science 113(2), 1993, pp. 293-348.
  24. (with W.P. Weijland) Branching time and abstraction in bisimulation semantics, Report TUM-I9052, Technical University of Munich, Munich, Germany 1990; and Report CS-R9120, Centre for Mathematics and Computer Science, Amsterdam 1991. Updated version in the Journal of the ACM 43(3), 1996, pp. 555-600.
  25. Unpublished: Bisimulations for higher dimensional automata, email message, July 7, 1991.
  26. (with I. Czaja & U. Goltz) Interleaving semantics and action refinement with atomic choice, Arbeitspapiere der GMD 594, Sankt Augustin, Germany 1991; in: Advances in Petri Nets 1992 (G. Rozenberg, ed.), LNCS 609, Springer-Verlag, 1992, pp. 89-107.
  27. A complete axiomatization for branching bisimulation congruence of finite-state behaviours, Report No. STAN-CS-93-1470, Department of Computer Science, Stanford University, CA 94305, USA; in: Proceedings Mathematical Foundations of Computer Science 1993 (MFCS), Gdansk, Poland, August/September 1993 (A.M. Borzyszkowski & S. Sokolowski, eds.), LNCS 711, Springer-Verlag, 1993, pp. 473-484.
  28. The linear time - branching time spectrum II; the semantics of sequential processes with silent moves. Preliminary version available from Boole.stanford.edu. Extended abstract in: Proceedings CONCUR '93, Hildesheim, Germany, August 1993 (E. Best, ed.), LNCS 715, Springer-Verlag, 1993, pp. 66-81.
  29. What is branching time and why to use it?, Report No. STAN-CS-93-1486, Department of Computer Science, Stanford University, CA 94305, USA; in: The Concurrency Column (M. Nielsen, ed.), Bulletin of the EATCS 53, June 1994, pp. 190-198; also in: Current Trends in Theoretical Computer Science; Entering the 21st Century (G. Paun, G. Rozenberg & A. Salomaa, eds.), World Scientific, 2001, pp. 469-479.
  30. Full Abstraction in Structural Operational Semantics (extended abstract), in: Proceedings of the Third International Conference on Algebraic Methodology and Software Technology (AMAST '93), Twente, The Netherlands, June 1993, (M. Nivat, C. Rattray, T. Rus & G. Scollo, eds.), Workshops in Computing, Springer-Verlag, 1993, pp. 75-82.
  31. (with N. Busi & R. Gorrieri) Axiomatising ST-bisimulation equivalence, Technical Report UBLCS-93-26, Laboratory for Computer Science, University of Bologna, 1993; available from ftp.cs.unibo.it and from Boole.stanford.edu; in Proceedings IFIP Working Conference on Programming Concepts, Methods and Calculi, San Miniato, Italy, June 1994 (E,-R. Olderog, ed.), Elsevier Science Publishers B.V. (North-Holland), 1994, pp. 169-188.
  32. (with S.A. Smolka & B. Steffen) Reactive, Generative and Stratified Models of Probabilistic Processes, Report No. STAN-CS-TR-94-1517, Department of Computer Science, Stanford University, CA 94305, USA; available from Boole.stanford.edu; Information and Computation 121(1), 1995, pp. 59-80.
  33. On the Expressiveness of ACP (extended abstract), available from Boole.stanford.edu; in: ACP94, Workshop on Algebra of Communicating Processes, Utrecht, The Netherlands, May 1994, (A. Ponse, C. Verhoef & S.F.M. van Vlijmen, eds.), Workshops in Computing, Springer-Verlag, 1994, pp. 188-217.
  34. The Meaning of Negative Premises in Transition System Specifications II, Report STAN-CS-TN-95-16, Department of Computer Science, Stanford University, CA 94305, USA 1995; available from Boole.stanford.edu. Extended abstract in: Automata, Languages and Programming, Proceedings 23th International Colloquium, ICALP '96, Paderborn, Germany, July 1996 (F. Meyer auf der Heide & B. Monien, eds.), LNCS 1099, Springer, 1996, pp. 502-513.
  35. (with W.J. Fokkink) Ntyft/ntyxt Rules Reduce to Ntree Rules, Report CS-R9508, CWI, Amsterdam; and Report STAN-CS-TN-95-17, Department of Computer Science, Stanford University, CA 94305, USA 1995; Information and Computation 126(1), 1996, pp. 1-10.
  36. (with G.D. Plotkin) Configuration Structures (extended abstract), in: Proceedings 10th Annual IEEE Symposium on Logic in Computer Science (LICS 95), San Diego, USA, 1995 (D. Kozen, ed.), IEEE Computer Society Press, Los Alamitos 1995.
  37. (with F.W. Vaandrager) The difference between splitting in n and n+1, Report CS-R9553, CWI, Amsterdam; Information and Computation 136(2), 1997, pp. 109-142. Abstract in: Proceedings 3rd Workshop on Concurrency and Compositionality, Goslar, March 5-8, 1991 (E. Best & G. Rozenberg, eds.), GMD-Studien Nr. 191, Sankt Augustin, Germany 1991, pp. 117-121.
  38. Unpublished: History Preserving Process Graphs, in preparation.
  39. Branching Bisimulation as a Tool in the Analysis of Weak Bisimulation, available from Boole.stanford.edu, 1995.
  40. (with L. Aceto, W.J. Fokkink & A. Ingólfsdóttir) Axiomatizating prefix iteration with silent steps, BRICS report RS-95-56, Department of Computer Science, University of Aarhus, Denmark 1995; Information and Computation 127(1), 1996, pp. 26-40.
  41. Abstract: Petri Nets, Configuration Structures, Propositional Theories and History Preserving Process Graphs, in: Semantics of Concurrent Systems - Foundations and Applications (M. Droste, E.-R. Olderog, B. Steffen & G. Winskel, eds.), Dagstuhl-Seminar-Report 144, Internationales Begegnungs- und Forschungszentrum für Informatik Schloss Dagstuhl, Postfach 15 11 50, D-66041 Saarbrücken, Germany 1996, pp. 14-15.
  42. Axiomatizating flat iteration, Report STAN-CS-TN-97-57, Department of Computer Science, Stanford University, CA 94305, USA 1997; in: Proceedings CONCUR '97, Warsaw, Poland, July 1997 (A. Mazurkiewicz & J. Winkowski, eds.), LNCS 1243, Springer, 1997, pp. 228-242.
  43. Unpublished: Unique fixed points for unguarded recursion, 1997.
  44. Abstract: On the Relative Expressiveness of Petri Nets, Event Structures and Process Algebras, in: Information Systems as Reactive Systems (H.-D. Ehrich, U. Goltz & J. Meseguer, eds.), Dagstuhl-Seminar-Report 200, Internationales Begegnungs- und Forschungszentrum für Informatik Schloss Dagstuhl, Postfach 15 11 50, D-66041 Saarbrücken, Germany 1998, page 12.
  45. (editor, with Atocha Aliseda and Dag Westerståhl) Computing Natural Language, CSLI Lecture Notes 81, Center for the Study of Language and Information, Stanford University, 1998.
  46. (with P. Rittgen) Scheduling Algebra, Arbeitsberichte des Instituts für Wirtschaftsinformatik 12, Universität Koblenz-Landau, Germany 1998; available from Boole.stanford.edu. Updated version: Report STAN-CS-TN-98-87, Department of Computer Science, Stanford University, CA 94305, USA 1998. Slightly condensed version of the latter in: Proceedings of the Seventh International Conference on Algebraic Methodology and Software Technology (AMAST '98), Amazonia, Brazil, January 1999 (A.M. Haeberer, ed.), LNCS 1548, Springer, 1999, pp. 278-292.
  47. (with U. Goltz) Refinement of Actions and Equivalence Notions for Concurrent Systems, Hildesheimer Informatik-Berichte 6/98, Universität Hildesheim, Germany 1998; Acta Informatica 37(4/5), 2001, pp. 229-327.
  48. Petri Nets, Configuration Structures and Higher Dimensional Automata, in Proceedings CONCUR '99, Eindhoven, The Netherlands, August 1999 (J.C.M. Baeten & S. Mauw, eds.), LNCS 1664, Springer, 1999, pp. 21-27.
  49. Preface: (with C. Palamidessi & J. Parrow) Preface to the special issue of Information and Computation dedicated to EXPRESS'97, Information and Computation 156, 2000, p. 1.
  50. The linear time - branching time spectrum I; the semantics of concrete, sequential processes, in: Handbook of Process Algebra (J.A. Bergstra, A. Ponse & S.A. Smolka, eds.), Chapter 1, Elsevier, 2001, pp. 3-99.
  51. (with B. Bloom & W.J. Fokkink) Precongruence Formats for Decorated Trace Preorders, in: Proceedings 15th Annual IEEE Symposium on Logic in Computer Science (LICS 2000), Santa Barbara, USA, 2000, IEEE Computer Society Press, Los Alamitos 2000, pp. 107-118.
  52. In preparation: Full Abstraction in Structural Operational Semantics, 2002.
  53. Bisimulation, available from Boole.stanford.edu, 2000; in the Encyclopedia of Parallel Computing (D.~Padua, ed.), Part 2, Springer, 2011, pp. 136-139.
  54. (with U. Goltz) Well-behaved Flow Event Structures for Parallel Composition and Action Refinement, Technical report no. 2002-01, Institute of Theoretical Computer Science, TU Braunschweig, Germany 2002; Theoretical Computer Science 311, 2004, pp. 463-478.
  55. (with D.G. Stork) Token-controlled place refinement in hierarchical Petri nets with application to active document workflow, in: Proceedings 23rd International Conference on Application and Theory of Petri Nets, Adelaide, Australia, June 2002 (J. Esparza & C. Lakos, eds.), LNCS 2360, Springer, 2002, pp. 394-413.
  56. (with B. Bloom & W.J. Fokkink) Precongruence Formats for Decorated Trace Semantics, available from Boole.stanford.edu, 2002; Transactions on Computational Logic 5(1), 2004, pp. 26-78.
  57. (with D.G. Stork) Query Nets: Interacting Workflow Modules that Ensure Global Termination, in: Proceedings International Conference on Business Process Management, BPM 2003, Eindhoven, The Netherlands, June 2003 (W.M.P. van der Aalst, A.H.M. ter Hofstede & M. Weske, eds.), LNCS 2678, Springer, 2003, pp. 184-199.
  58. (with D.J.D. Hughes) Proof Nets for Unit-free Multiplicative-Additive Linear Logic (extended abstract), in: Proceedings 18th Annual IEEE Symposium on Logic in Computer Science, LICS 2003, Ottawa, Canada, June 2003, IEEE Computer Society Press, Los Alamitos 2003, pp. 1-10.
  59. (with W.J. Fokkink & P. de Wind) Compositionality of Hennessy-Milner Logic through Structural Operational Semantics, in: Proceedings 14th International Symposium on Fundamentals of Computation Theory, FCT 2003, Malmö, Sweden, August 2003 (A. Lingas & B.J. Nilsson, eds.), LNCS 2751, Springer, 2003, pp. 412-422.
  60. (with F.W. Vaandrager) Bundle Event Structures and CCSP, in: Proceedings 14th International Conference on Concurrency Theory, CONCUR 2003, Marseille, France, September 2003 (R. Amadio & D. Lugiez, eds.), LNCS 2761, Springer, 2003, pp. 57-71.
  61. The Meaning of Negative Premises in Transition System Specifications II, Journal of Logic and Algebraic Programming 60-61, 2004, pp. 229-258.
  62. Copies of slides: Liveness respecting semantics, in: Slide Reprints from the Workshop on Process Algebra: Open Problems and Future Directions, PA '03, Bologna, Italy, July 2003 (L. Aceto, Z. Ésik, W.J. Fokkink & A. Ingólfsdóttir, eds.), BRICS note NS-03-3, Department of Computer Science, University of Aarhus, Denmark, 2003, pp. 59-63.
  63. (with L. Aceto, W.J. Fokkink & A. Ingólfsdóttir) Nested Semantics over Finite Trees are Equationally Hard, BRICS report RS-03-27, Department of Computer Science, University of Aarhus, Denmark, 2003; Information and Computation 191(2), 2004, pp. 203-232.
  64. (with G.D. Plotkin) Event Structures for Resolvable Conflict, in: Proceedings 29th International Symposium on Mathematical Foundations of Computer Science (MFCS 2004), Prague, Czech Republic, August 2004 (J. Fiala, V. Koubek & J. Kratochvíl, eds.), LNCS 3153, Springer, 2004, pp. 550-561.
  65. On the Expressiveness of Higher Dimensional Automata (extended abstract), Electronic Notes in Theoretical Computer Science 128(2), April 2005: Proceedings of the 11th International Workshop on Expressiveness in Concurrency, EXPRESS 2004, pp. 5-34.
  66. (with D.J.D. Hughes) Proof Nets for Unit-free Multiplicative-Additive Linear Logic, available from Boole.stanford.edu, January 2005; ACM Transactions on Computational Logic 6(4), pp. 784-842.
  67. On Cool Congruence Formats for Weak Bisimulations (extended abstract), in: Proceedings International Colloquium on Theoretical Aspects of Computing, ICTAC05, Hanoi, Vietnam, October 2005 (D.V. Hung & M. Wirsing, eds.), LNCS 3722, Springer, 2005, pp. 318-333.
  68. The Individual and Collective Token Interpretations of Petri Nets, in: Proceedings 16th International Conference on Concurrency Theory, CONCUR 2005, San Francisco, USA, August 2005 (M. Abadi & L. de Alfaro, eds.), LNCS 3653, Springer, 2005, pp. 323-337.
  69. On Specifying Timeouts, in: Short Contributions from the Workshop on Algebraic Process Calculi: The First Twenty Five Years and Beyond, PA '05, Bertinoro, Italy, August 2005 (L. Aceto and A.D. Gordon, eds.), BRICS Note NS-05-3, Department of Computer Science, University of Aarhus, Denmark 2005, pp. 112-113; Electronic Notes in Theoretical Computer Science 162, 2006, pp. 173-175.
  70. (with W.J. Fokkink & P. de Wind) Compositionality of Hennessy-Milner Logic by Structural Operational Semantics, available from Boole.stanford.edu, June 2005; Theoretical Computer Science 354(3), April 2006, pp. 421-440.
  71. (with W.J. Fokkink & P. de Wind) Divide and Congruence Applied to η-Bisimulation, Electronic Notes in Theoretical Computer Science 156(1), May 2006: Proceedings of the Second Workshop on Structural Operational Semantics, SOS 2005, Lisbon, Portugal, pp. 97-113.
  72. On the Expressiveness of Higher Dimensional Automata, available from Boole.stanford.edu, 2005; Theoretical Computer Science 368(1-2), 2006, pp. 169-194.
  73. Abstract: Higher-Dimensional Automata and Other Models of Concurrency, in: Preliminary Proceedings of the Workshop on Geometry and Topology in Concurrency, GETCO '05, San Francisco, USA, August 2005 (Patrick Cousot, Lisbeth Fajstrup, Eric Goubault, Maurice Herlihy, Kim G. Larsen & Martin Rauen, eds.) BRICS Note NS-05-5, Department of Computer Science, University of Aarhus, Denmark 2005, page 1.
  74. (with W.J. Fokkink & P. de Wind) Divide and Congruence: From Decomposition of Modalities to Preservation of Branching Bisimulation, available from Boole.stanford.edu, 3 November 2005; in: Revised Lectures Fourth International Symposium on Formal Methods for Components and Objects, FMCO '05, Amsterdam, The Netherlands, November 2005 (F.S. de Boer, M.M. Bonsangue, S. Graf & W.-P. de Roever, eds.), LNCS 4111, Springer 2006, pp. 195-218.
  75. A Characterisation of Weak Bisimulation Congruence, in: Processes, Terms and Cycles: Steps on the Road to Infinity: Essays Dedicated to Jan Willem Klop on the Occasion of His 60th Birthday (Aart Middeldorp, Vincent van Oostrom, Femke van Raamsdonk & Roel de Vrijer, eds.), LNCS 3838, Springer 2005, pp. 26-39.
  76. (with M. Voorhoeve) Liveness, Fairness and Impossible Futures, in: Proceedings 17th International Conference on Concurrency Theory, CONCUR 2006, Bonn, Germany, August 2006 (C. Baier & H. Hermanns, eds.) LNCS 4137, Springer, 2006, pp. 126-141.
  77. (with B. Luttik & N. Trčka) Branching Bisimilarity with Explicit Divergence, December 2008. Fundamenta Informaticae 93(4), 2009, pp. 371-392.
  78. (editor, with P. Mosses) Proceedings of the 3rd Workshop on Structural Operational Semantics, Bonn, Germany, 26th August 2006.
  79. (with Y. Deng, M. Hennessy, C.C. Morgan & C. Zhang) Remarks on Testing Probabilistic Processes, in: Computation, Meaning, and Logic: Articles dedicated to Gordon Plotkin (L. Cardelli, M. Fiore and G. Winskel, eds.), Electronic Notes in Theoretical Computer Science 172, 2007, pp. 359-397.
  80. (with Y. Deng, C.C. Morgan & C. Zhang) Scalar Outcomes Suffice for Finitary Probabilistic Testing, in: Proceedings 16th European Symposium on Programming, ESOP 2007, Braga, Portugal, 24 March - 1 April, 2007 (R. De Nicola, ed.), LNCS 4421, Springer, 2007, pp. 363-378.
  81. (with Y. Deng, M. Hennessy, C.C. Morgan & C. Zhang) Characterising Testing Preorders for Finite Probabilistic Processes, in: Proceedings 22nd Annual IEEE Symposium on Logic in Computer Science, LICS 2007, Wroclaw, Poland, July 2007, IEEE Computer Society Press, Los Alamitos 2007, pp. 313-322.
  82. (editor, with M. Hennessy) Proceedings of the 4th Workshop on Structural Operational Semantics, Wroclaw, Poland, 9 July 2007.
  83. (with B. Luttik & N. Trčka) Computation Tree Logic with Deadlock Detection, Logical Methods in Computer Science 5(4:5), 2009, pp. 1-24.
  84. (with B. Ploeger) Correcting a Space-Efficient Simulation Algorithm, January 2008. CS-Report 08-06, Eindhoven University of Technology, 2008. Extended abstract in: Proceedings 20th International Conference on Computer Aided Verification (CAV 2008), Princeton, USA, July 2008 (A. Gupta & S. Malik, eds.), LNCS 5123, Springer, pp. 517-529.
  85. (with B. Ploeger) Five Determinisation Algorithms, May 2008. CS-Report 08-14, Eindhoven University of Technology, 2008. Extended abstract in: Proceedings Thirteenth International Conference on Implementation and Application of Automata (CIAA 2008), San Francisco, California, USA, July 2008 (O.H. Ibarra & B. Ravikumar, eds.), LNCS 5148, Springer, pp. 161-170.
  86. (editor, with P. Mosses) Special Issue of Information & Computation on Structural Operational Semantics, Information and Computation 207(2), 2009.
  87. (with U. Goltz & J.-W. Schicke) Symmetric and Asymmetric Asynchronous Interaction, Archived at http://arxiv.org/abs/0901.0043. Technical Report 2008-03, Technical University of Braunschweig. Extended abstract in: Proceedings of the 1st Interaction and Concurrency Experience, ICE '08: Synchronous and Asynchronous Interactions in Distributed Systems, Reykjavik, Iceland, July 2008 (F. Bonchi, D. Grohmann, P. Spoletini, A. Troina & E. Tuosto, eds.), Electronic Notes in Theoretical Computer Science 229(3), 2009, pp. 77-95.
  88. (with U. Goltz & J.-W. Schicke) On Synchronous and Asynchronous Interaction in Distributed Systems, Archived at http://arxiv.org/abs/0901.0048. Technical Report 2008-04, Technical University of Braunschweig. Extended abstract in: Proceedings 33rd International Symposium on Mathematical Foundations of Computer Science (MFCS 2008), Toruń, Poland, August 2008 (E. Ochmański & J. Tyszkiewicz, eds.), LNCS 5162, Springer, 2008, pp. 16-35.
  89. (with Y. Deng, M. Hennessy & C.C. Morgan) Characterising Testing Preorders for Finite Probabilistic Processes, July 2008. Archived at http://arxiv.org/abs/0810.3708. Logical Methods in Computer Science 4(4:4), 2008, pp. 1-33.
  90. (with T. Chen & W.J. Fokkink) Ready to Preorder: The Case of Weak Process Semantics, August 2008. Information Processing Letters 109(2), 2008, pp. 104-111.
  91. (with T. Chen & W.J. Fokkink) On Finite Bases for Weak Semantics: Failures versus Impossible Futures, October 2008. Archived at http://arxiv.org/abs/0810.4904. Extended abstract in Proceedings 35th Conference on Current Trends in Theory and Practice of Computer Science, Špindlerův Mlýn, Czech Republic, January 2009 (M. Nielsen, A. Kucera, P. Bro Miltersen, C. Palamidessi, P. Tuma & F. Valencia, eds.), LNCS 5404, Springer, pp. 167-180.
  92. (with G.D. Plotkin) Configuration Structures, Event Structures and Petri Nets. Archived at http://arxiv.org/abs/0912.4023. Theoretical Computer Science 410(41) (2009), pp. 4111-4159.
  93. (with Y. Deng, M. Hennessy & C.C. Morgan) Testing Finitary Probabilistic Processes (extended abstract), in: Proceedings 20th International Conference on Concurrency Theory, CONCUR 2009, Bologna, Italy, September 2009 (M. Bravetti & G.Zavattaro, eds.) LNCS 5710, Springer, pp. 274-288.
  94. Copies of slides: The Linear Time – Branching Time Spectrum after 20 years or Full abstraction for safety and liveness properties, Invited talk for IFIP WG 1.8 at CONCUR 2009 in Bologna.
  95. (with G.D. Plotkin) On CSP and the Algebraic Theory of Effects. Archived at http://arxiv.org/abs/1007.5488. In: Reflections on the Work of C.A.R. Hoare (C.B. Jones, A.W. Roscoe & K.R. Wood, eds.), History of Computing, Springer, 2010, pp. 333-369.
  96. The Coarsest Precongruences Respecting Safety and Liveness Properties. Archived at http://arxiv.org/abs/1007.5491. In: Proceedings TCS 2010, IFIP AICT 323, September 2010 (C.S. Calude & V. Sassone, eds.), Springer, pp. 32-52.
  97. (with Y. Deng) Characterising Probabilistic Processes Logically. Archived at http://arxiv.org/abs/1007.5188. Extended abstract in: Proceedings 17th International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR), Yogyakarta, Indonesia, October 2010 (C.G. Fermüller & A. Voronkov, eds.), LNCS 6397, Springer, 2010, pp. 278-293.
  98. (with Y. Deng, M. Hennessy & C.C. Morgan) Real-Reward Testing for Probabilistic Processes (extended abstract). In: Proceedings Ninth Workshop on Quantitative Aspects of Programming Languages, QAPL 2011, Saarbrücken, Germany, April 2011 (M. Massink & G. Norman, eds.), EPTCS 57, 2011, pp. 61-73, doi: 10.4204/EPTCS.57.5
  99. On Cool Congruence Formats for Weak Bisimulations. Theoretical Computer Science 412(28), pp. 3283-3302, 2011, doi: 10.1016/j.tcs.2011.02.036
  100. (with U. Goltz & J.-W. Schicke) Abstract Processes of Place/Transition Systems. Information Processing Letters 111(13), 2011, pp. 626-633, doi: 10.1016/j.ipl.2011.03.013
  101. (with U. Goltz & J.-W. Schicke) On Causal Semantics of Petri Nets. Informatik Bericht Nr. 2011-06, Institut für Programmierung und Reaktive Systeme, TU Braunschweig, Germany 2011. Extended abstract in: Proceedings 22th International Conference on Concurrency Theory, CONCUR 2011, Aachen, Germany, September 2011 (J.-P. Katoen & B. König, eds.), LNCS 6901, Springer, 2011, pp. 43-59.
  102. (with A. Fehnker, P. Höfner, A.K. McIver, M. Portmann & W.L. Tan) Modelling and Analysis of AODV in UPPAAL. In: Proceedings 1st International Workshop on Rigorous Protocol Engineering (WRiPE 2011).
  103. (with W.J. Fokkink & P. de Wind) Divide and Congruence: From Decomposition of Modal Formulas to Preservation of Branching and η-Bisimilarity. Information and Computation 214, 2012, pp. 59-85, doi:10.1016/j.ic.2011.10.011
  104. (with A. Fehnker, P. Höfner, A.K. McIver, M. Portmann & W.L. Tan) A Process Algebra for Wireless Mesh Networks. In: Programming Languages and Systems, Proceedings 21st European Symposium on Programming (ESOP'12); held as part of the European Joint Conferences on Theory and Practice of Software (ETAPS 2012), Tallinn, Estonia, March/April 2012 (Helmut Seidl, ed.), LNCS 7211, Springer, 2012, pp. 295-315.
  105. (with A. Fehnker, P. Höfner, A.K. McIver, M. Portmann & W.L. Tan) Automated Analysis of AODV using UPPAAL. In: Proceedings 18th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'12); held as part of the European Joint Conferences on Theory and Practice of Software (ETAPS 2012), Tallinn, Estonia, March/April 2012 (C. Flanagan & B. König, eds.), LNCS 7214, Springer, 2012, pp. 173-187.
  106. (with U. Goltz & J.-W. Schicke-Uffmann) On Distributability of Petri Nets. Informatik Bericht Nr. 2011-10, Institut für Programmierung und Reaktive Systeme, TU Braunschweig, Germany 2012. Extended abstract in: Proceedings 15th International Conference on Foundations of Software Science and Computation Structures (FoSSaCS 2012); held as part of the European Joint Conferences on Theory and Practice of Software (ETAPS 2012), Tallinn, Estonia, March/April 2012 (L. Birkedal, ed.), LNCS 7213, Springer, 2012, pp. 331-345.
  107. (editor, with P. Höfner & I.J. Hayes) Celebrating the 60th Birthday of Carroll Morgan, Formal Aspects of Computing 24(4-6), July 2012.
  108. (with P. Höfner, W.L. Tan, M. Portmann, A.K. McIver & A. Fehnker) A Rigorous Analysis of AODV and its Variants. In: Proceedings 15th ACM International Conference on Modeling, Analysis and Simulation of Wireless and Mobile Systems, (MSWiM '12), Paphos, Cyprus, October 2012 (A.Y. Zomaya, B. Landfeldt & R. Prakash, eds), ACM 2012, pp. 203-212, doi:10.1145/2387238.2387274.
  109. Musings on Encodings and Expressiveness. In: Proceedings Combined 19th International Workshop on Expressiveness in Concurrency and 9th Workshop on Structured Operational Semantics (EXPRESS/SOS 2012), Newcastle upon Tyne, UK, September 3, 2012 (B. Luttik & M.A. Reniers, eds.), Electronic Proceedings in Theoretical Computer Science 89, Open Publishing Association, 2012, pp. 81-98, doi:10.4204/EPTCS.89.7.
  110. (with Y. Deng, M. Hennessy & C.C. Morgan) Real-Reward Testing for Probabilistic Processes. Theoretical Computer Science 538, 2014, pp. 16-36, doi: 10.1016/j.tcs.2013.07.016
  111. (with P. Höfner, W.L. Tan & M. Portmann) Sequence Numbers Do Not Guarantee Loop Freedom —AODV Can Yield Routing Loops—. Archived at https://arxiv.org/abs/1512.08891. In: Proceedings 16th ACM International Conference on Modeling, Analysis and Simulation of Wireless and Mobile Systems (MSWiM '13), Barcelona, Spain, November 2013, ACM, 2013, pp. 91-100, doi:10.1145/2507924.2507943.
  112. (with U. Goltz & J.-W. Schicke-Uffmann) On Characterising Distributability. Archived at http://arxiv.org/abs/1309.3883. Logical Methods in Computer Science 9(3:17), 2013, pp. 1-58.
  113. (with A. Fehnker, P. Höfner, A.K. McIver, M. Portmann & W.L. Tan) A Process Algebra for Wireless Mesh Networks used for Modelling, Verifying and Analysing AODV. Technical Report 5513, NICTA, 2013.
  114. (with T. Bourke & P. Höfner) Showing invariance compositionally for a process algebra for network protocols. Archived at http://arxiv.org/abs/1407.3519. In: Proceedings 5th International Conference on Interactive Theorem Proving, ITP 2014; held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 2014 (G. Klein & R. Gamboa, eds.), LNCS 8558, Springer, 2014, pp. 144-159, doi: 10.1007/978-3-319-08970-6_10
  115. (with T. Bourke & P. Höfner) A mechanized proof of loop freedom of the (untimed) AODV routing protocol. Archived at http://arxiv.org/abs/1505.05646. In: Proceedings 12th International Symposium on Automated Technology for Verification and Analysis, ATVA 2014, Sydney, Australia, November 2014 (F. Cassez and J.-F. Raskin, eds.), LNCS 8837, Springer, 2014, pp. 47-63, doi: 10.1007/978-3-319-11936-6_5
  116. (editor, with U. Goltz and E.-R. Olderog) Special issue on “Combining Compositionality and Concurrency”: part 1. Acta Informatica 52(1), 2015, pp. 3-4, doi: 10.1007/s00236-014-0213-y
  117. (with P. Höfner) Progress, Fairness and Justness in Process Algebra. Archived at http://arxiv.org/abs/1501.03268, 2015.
  118. (with P. Höfner) CCS: It's not Fair! Fair Schedulers cannot be implemented in CCS-like languages even under progress and certain fairness assumptions. Archived at http://arxiv.org/abs/1505.05964. Acta Informatica 52(2-3), 2015, pp. 175-205. doi: 10.1007/s00236-015-0221-6
  119. (editor, with U. Goltz and E.-R. Olderog) Special issue on “Combining Compositionality and Concurrency”: part 2. Acta Informatica 52(4-5), 2015, pp. 303-304, doi: 10.1007/s00236-015-0240-30
  120. (with T. Chen & W.J. Fokkink) On the Axiomatizability of Impossible Futures. Archived at http://arxiv.org/abs/1505.04985. Logical Methods in Computer Science 11(3:17), 2015.
  121. (with K. Peters) Analysing and Comparing Encodability Criteria, in: Proceedings Combined 22th International Workshop on Expressiveness in Concurrency and 12th Workshop on Structured Operational Semantics (EXPRESS/SOS 2015), Madrid, Spain, 31st August 2015 (S. Crafa and D.E. Gebler, eds.), Electronic Proceedings in Theoretical Computer Science 190, Open Publishing Association, 2015, pp. 46-60. doi:10.4204/EPTCS.190.4.
  122. Structure Preserving Bisimilarity, Supporting an Operational Petri Net Semantics of CCSP. Archived at http://arxiv.org/abs/1509.05842. In: Proceedings Correct System Design - Symposium in Honor of Ernst-Rüdiger Olderog on the Occasion of His 60th Birthday (R. Meyer, A. Platzer & H. Wehrheim, eds.), Oldenburg, Germany, September 8-9, 2015, LNCS 9360, Springer, 2015, pp. 99-130, doi:10.1007/978-3-319-23506-6_9.
  123. (with T. Bourke & P. Höfner) Mechanizing a Process Algebra for Network Protocols. Archived at http://arxiv.org/abs/1512.07304. Journal of Automated Reasoning 56(3), 2016, pp. 309-341, doi: 10.1007/s10817-015-9358-9.
  124. (with J.F. Groote & P. Höfner) Proceedings Workshop on Models for Formal Analysis of Real Systems, Suva, Fiji, November 23, 2015. Electronic Proceedings in Theoretical Computer Science 196, Open Publishing Association, 2015, doi:10.4204/EPTCS.196.
  125. (with P. Höfner, M. Portmann & W.L. Tan) Modelling and Verifying the AODV Routing Protocol. Archived at http://arxiv.org/abs/1512.08867. Distributed Computing 29(4), 2016, pp. 279-315, doi:10.1007/s00446-015-0262-7.
  126. (with E. Bres & P. Höfner) A Timed Process Algebra for Wireless Networks with an Application in Routing. Technical Report 9145, NICTA. Extended abstract in: P. Thiemann, ed.: Programming Languages and Systems, Proceedings 25th European Symposium on Programming (ESOP 2016); held as part of the European Joint Conferences on Theory and Practice of Software (ETAPS 2016), Eindhoven, The Netherlands, April 2016, LNCS 9632, Springer, 2016, pp. 95-122, doi:10.1007/978-3-662-49498-1_5
  127. Position paper: Ensuring Liveness Properties of Distributed Systems (A Research Agenda), available at http://www.cse.unsw.edu.au/~rvg/abstracts.html#agenda, March 3, 2016.
  128. (with W.J. Fokkink) Divide and Congruence II: Delay and Weak Bisimilarity, in: Proceedings 31st Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2016, New York City, USA, July 2016, ACM, 2016, pp. 778-787, doi:10.1145/2933575.2933590
  129. (with W.J. Fokkink) Divide and Congruence II: From Decomposition of Modal Formulas to Preservation of Delay and Weak Bisimilarity, Technical Report 9351, NICTA, 2016. Archived at http://arxiv.org/abs/1604.07530, 2016. Information and Computation 257, 2017, pp. 79-113, doi:10.1016/j.ic.2017.10.003.
  130. (with D.J.D. Hughes) MALL proof nets identify proofs modulo rule commutation, 2016. Archived at http://arxiv.org/abs/1609.04693.
  131. An Algebraic Treatment of Recursion, in: Liber Amicorum for Jan A. Bergstra (I. Bethke and B. Bredeweg and A. Ponse, eds.), Informatics Institute, University of Amsterdam, 2016, pp. 58-59. Archived at http://arxiv.org/abs/1702.07838.
  132. A Branching Time Model of CSP, in: Concurrency, Security, and Puzzles — Essays Dedicated to Andrew William Roscoe on the Occasion of His 60th Birthday (Th. Gibson-Robinson and Ph.J. Hopcroft and R. Lazic, eds.), LNCS 10160, Springer, pp. 272-293, 2017, doi:10.1007/978-3-319-51046-0_14. Archived at http://arxiv.org/abs/1702.07844.
  133. (with P. Höfner) Split, Send, Reassemble: A Formal Specification of a CAN Bus Protocol Stack, in: Proceedings 2nd Workshop on Models for Formal Analysis of Real Systems (MARS 2017), Uppsala, Sweden, 29th April 2017 (H. Hermanns and P. Höfner, eds.), ElectronicP Proceedings in Theoretical Computer Science 244, Open Publishing Association, pp. 14-52, doi:10.4204/EPTCS.244.2.
  134. (with W.J. Fokkink) Precongruence Formats with Lookahead through Modal Decomposition, in: Proceedings 26th EACSL Annual Conference on Computer Science Logic, CSL 2017, Stockholm, Sweden, August 2017 (V. Goranko & M. Dam, eds.) Leibniz International Proceedings in Informatics (LIPIcs) 82, Schloss Dagstuhl–Leibniz-Zentrum für Informatik, 2017, pp. 25:1-25:20, doi:10.4230/LIPIcs.CSL.2017.25.
  135. Lean and Full Congruence Formats for Recursion. Archived at http://arxiv.org/abs/1704.03160. In: Proceedings 32nd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2017, Reykjavik, Iceland, June 2017, IEEE Computer Society Press, Los Alamitos 2017, doi:10.1109/LICS.2017.8005142.
  136. (with W.J. Fokkink & B. Luttik) Divide and Congruence III: Stability & Divergence, in: Proceedings 28th International Conference on Concurrency Theory, CONCUR 2017, Berlin, Germany, September 2017 (R. Meyer & U. Nestmann, eds.), Leibniz International Proceedings in Informatics (LIPIcs) 85, Schloss Dagstuhl–Leibniz-Zentrum für Informatik, 2017, pp. 15:1-15:16, doi:10.4230/LIPIcs.CONCUR.2017.15.
  137. (with W.J. Fokkink & B. Luttik) Divide and Congruence III: From Decomposition of Modal Formulas to Preservation of Stability and Divergence. Archived at http://arxiv.org/abs/1908.06550. Information and Computation 268:104435, 2019, doi:10.1016/j.ic.2019.104435.
  138. (with V. Dyseryn and P. Höfner) Analysing Mutual Exclusion using Process Algebra with Signals, in: Proceedings Combined 24th International Workshop on Expressiveness in Concurrency and 14th Workshop on Structured Operational Semantics, EXPRESS/SOS 2017, Berlin, Germany, 4th September 2017 (K. Peters and S. Tini, eds.), Electronic Proceedings in Theoretical Computer Science 255, Open Publishing Association, 2017, pp. 18-34, doi:10.4204/EPTCS.255.2.
  139. (with B. Luttik and L. Spaninks) Rooted Divergence-Preserving Branching Bisimilarity is a Congruence. Logical Methods in Computer Science 16(3:14), 2020, doi:10.23638/LMCS-16(3:14)2020. Archived at http://arxiv.org/abs/1801.01180.
  140. On the Validity of Encodings of the Synchronous in the Asynchronous π-calculus. Archived at http://arxiv.org/abs/1802.09182. Information Processing Letters 137, 2018, pp. 17-25, doi:10.1016/j.ipl.2018.04.015.
  141. (with C. Lippert, S. Mennicke & U. Goltz) A Case Study on Evaluating Encodings Between Process Calculi.
  142. A Theory of Encodings and Expressiveness. Archived at http://arxiv.org/abs/1805.10415. Extended abstract in: Proceedings 21st International Conference on Foundations of Software Science and Computation Structures (FoSSaCS 2018); held as part of the European Joint Conferences on Theory and Practice of Software (ETAPS 2018), Thessaloniki, Greece, April 2018 (Christel Baier and Ugo Dal Lago, eds.), LNCS 10803, Springer, 2018, pp. 183-202, doi:10.1007/978-3-319-89366-2_10.
  143. (with J.P. Gallagher & W. Serwe) Proceedings Third Workshop on Models for Formal Analysis of Real Systems and Sixth International Workshop on Verification and Program Transformation, Thessaloniki, Greece, 20th April 2018. Electronic Proceedings in Theoretical Computer Science 286, Open Publishing Association, 2018, doi:10.4204/EPTCS.268.
  144. (with P. Höfner & D. van der Wal) Analysing AWN-specifications using mCRL2 (extended abstract). In: Proceedings 14th International Conference on Integrated Formal Methods (IFM 2018), Maynooth, Ireland, September 2018 (C.A. Furia and K. Winter, eds.), LNCS 11023, pp. 398--418, doi: 10.1007/978-3-319-98938-9_23.
  145. Abstract of invited talk: Is Speed-Independent Mutual Exclusion Implementable? In: Proceedings 29th International Conference on Concurrency Theory (CONCUR 2018), Beijing, China (S. Schewe & L. Zhang, eds.), Leibniz International Proceedings in Informatics (LIPIcs) 118:3, doi:10.4230/LIPIcs.CONCUR.2018.3.
  146. (with P. Höfner) Progress, Justness and Fairness. Archived at http://arxiv.org/abs/1810.07414. ACM Computing Surveys 52(4):69, 2019, doi:10.1145/3329125.
  147. (with N. Fischer) Axiomatising Infinitary Probabilistic Weak Bisimilarity of Finite-State Behaviours. Journal of Logical and Algebraic Methods in Programming 102, 2019, pp. 64-102, doi:10.1016/j.jlamp.2018.09.006. Archived at http://arxiv.org/abs/1810.07488.
  148. Justness: A Completeness Criterion for Capturing Liveness Properties. Archived at http://arxiv.org/abs/1909.00286. Extended abstract in: Proceedings 22st International Conference on Foundations of Software Science and Computation Structures (FoSSaCS 2019); held as part of the European Joint Conferences on Theory and Practice of Software (ETAPS 2019), Prague, Czech Republic, April 2019 (M. Bojańczyk, A. Simpson, eds.), LNCS 11425, Springer, pp.505-522, doi:10.1007/978-3-030-17127-8_29.
  149. (with P. Höfner and M. Markl) A Process Algebra for Link Layer Protocols. Archived at http://arxiv.org/abs/1907.13329. In L. Caires, ed.: Programming Languages and Systems, Proceedings 28th European Symposium on Programming (ESOP 2019); held as part of the European Joint Conferences on Theory and Practice of Software (ETAPS 2019), Prague, Czech Republic, April 2019, LNCS 11423, Springer, pp. 668-693, doi:10.1007/978-3-030-17184-1_24
  150. Reward Testing Equivalences for Processes. Archived at http://arxiv.org/abs/1907.13348. In: Models, Languages, and Tools for Concurrent and Distributed Programming, Essays Dedicated to Rocco De Nicola on the Occasion of His 65th Birthday (M. Boreale, F. Corradini, M. Loreti & R. Pugliese, eds.), LNCS 11665, Springer, pp. 45-70, doi:10.1007/978-3-030-21485-2_5.
  151. Ensuring Liveness Properties of Distributed Systems: Open Problems. In: "Open Problems in Concurrency Theory" (I. Castellani, P. D'Argenio, M.R. Mousavi & A. Sokolova, eds.), a special issue of the Journal of Logical and Algebraic Methods in Programming, doi:10.1016/j.jlamp.2019.100480. Archived at http://arxiv.org/abs/1912.05616.
  152. On the Meaning of Transition System Specifications. In: Proceedings Combined 26th International Workshop on Expressiveness in Concurrency and 16th Workshop on Structural Operational Semantics (EXPRESS/SOS 2019), Amsterdam, The Netherlands, 26th August 2019 (J.A. Pérez & J. Rot, eds.), Electronic Proceedings in Theoretical Computer Science 300, Open Publishing Association, doi:10.4204/EPTCS.300.5.
  153. (editor, with W.J. Fokkink) Proceedings 30th International Conference on Concurrency Theory (CONCUR'19), Amsterdam, the Netherlands, August 27-30, 2019. Leibniz International Proceedings in Informatics (LIPIcs) 140, Schloss Dagstuhl—Leibniz-Zentrum für Informatik, 2019.
  154. (with U. Goltz, C. Lippert & S. Mennicke) Stronger Validity Criteria for Encoding Synchrony. In: The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy — Essays Dedicated to Catuscia Palamidessi on the Occasion of Her 60th Birthday, (M.S. Alvim, K. Chatzikokolakis, C. Olarte & F. Valencia, eds.), LNCS 11760, Springer, 2019, pp. 182-205, doi:10.1007/978-3-030-31175-9_11.
  155. (with J.F. Groote & E.P. de Vink) A Complete Axiomatization of Branching Bisimilarity for a Simple Process Language with Probabilistic Choice (extended abstract). In: The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy — Essays Dedicated to Catuscia Palamidessi on the Occasion of Her 60th Birthday, (M.S. Alvim, K. Chatzikokolakis, C. Olarte & F. Valencia, eds.), LNCS 11760, Springer, 2019, pp. 139-162, doi:10.1007/978-3-030-31175-9_9.
  156. (with V. Gramoli & P. Tholoniat) Cross-Chain Payment Protocols with Success Guarantees. Archived at http://arxiv.org/abs/1912.04513. Distributed Computing 36, 2023, pp. 137–157, doi:10.1007/s00446-023-00446-0 (open access).
  157. Failure Trace Semantics for a Process Algebra with Time-outs. Archived at http://arxiv.org/abs/2002.10814. Logical Methods in Computer Science 17(2:11), 2021, doi:10.23638/LMCS-17(2:11)2021.
  158. (with R. Barry & P. Höfner) Formalising the Optimised Link State Routing Protocol. In: Proceedings 4th Workshop on Models for Formal Analysis of Real Systems (MARS 2020), Dublin, Ireland, 26th April 2020 (A. Fehnker & P. H. Garavel, eds.), Electronic Proceedings in Theoretical Computer Science 316, Open Publishing Association, pp. 72-120, doi:10.4204/EPTCS.316.3.
  159. (with C.A. Middelburg) On Infinite Guarded Recursive Specifications in Process Algebra. Archived at http://arxiv.org/abs/2005.00746, 2020.
  160. (with V. Gramoli & P. Tholoniat) Feasibility of Cross-Chain Payment with Success Guarantees. Archived at http://arxiv.org/abs/2007.08152. In: Proceedings 32nd ACM Symposium on Parallelism in Algorithms and Architectures, SPAA '20, Virtual Event, USA, July 2020, pp. 579–581, doi:10.1145/3350755.3400264.
  161. Reactive Bisimulation Semantics for a Process Algebra with Time-Outs. Archived at http://arxiv.org/abs/2008.11499. Extended abstract in: Proceedings 31st International Conference on Concurrency Theory (CONCUR 20), Online, September 2020 (I. Konnov and L. Kovács, eds.), Leibniz International Proceedings in Informatics (LIPIcs) 171, Schloss Dagstuhl—Leibniz-Zentrum für Informatik, 2020, doi:10.4230/LIPIcs.CONCUR.2020.6.
  162. Reactive Temporal Logic. In: Proceedings Combined 27th International Workshop on Expressiveness in Concurrency and 17th Workshop on Structural Operational Semantics (EXPRESS/SOS 2020), Online, 31th August 2020 (O. Dardha & J. Rot, eds.), Electronic Proceedings in Theoretical Computer Science 322, Open Publishing Association, pp. 51–68, doi:10.4204/EPTCS.322.6.
  163. (editor, with W.J. Fokkink) Selected Papers of the 30th International Conference on Concurrency Theory (CONCUR 2019), Logical Methods in Computer Science, March 2021.
  164. (with U. Goltz & J.-W. Schicke) Abstract Processes and Conflicts in Place/Transition Systems, Information and Computation 281:104706, 2021, doi: 10.1016/j.ic.2021.104706
  165. (with U. Goltz & J.-W. Schicke) Abstract Processes in the Absence of Conflicts in General P/T-Systems. Information and Computation 289:104939, 2022, doi: 10.1016/j.ic.2022.104939
  166. Comparing the expressiveness of the π-calculus and CCS. Extended abstract in I. Sergey, ed.: Programming Languages and Systems, Proceedings 31st European Symposium on Programming (ESOP 2022); held as part of the European Joint Conferences on Theory and Practice of Software (ETAPS 2022), Munich, Germany, April 2022, LNCS 13240, Springer, pp. 548–574, doi:10.1007/978-3-030-99336-8_20
    Archived at https://arxiv.org/abs/2203.11519.
    ACM Transactions on Computational Logic 25(1):1, November 2023, doi: 10.1145/3611013
  167. Coinductive Validity. Archived at https://arxiv.org/abs/2104.13021.
  168. (with P. Höfner and R. Horne) Assuming Just Enough Fairness to make Session Types Complete for Lock-freedom. Archived at https://arxiv.org/abs/2104.14226. Extended abstract in Proceedings 36th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS'21, Rome, Italy, June 29 - July 2, 2021, doi: 10.1109/LICS52264.2021.9470531.
  169. Modelling Mutual Exclusion in a Process Algebra with Time-outs. Archived at https://arxiv.org/abs/2106.12785. Information and Computation 294:105079, 2023, doi: 10.1016/j.ic.2023.105079.
  170. (with P. Höfner and W. Wang) Enabling Preserving Bisimulation Equivalence. Archived at https://arxiv.org/abs/2108.00142. Extended abstract in Proceedings 32nd International Conference on Concurrency Theory (CONCUR 2021), Online, August 2021 (S. Haddad & D. Varacca, eds.) Leibniz International Proceedings in Informatics (LIPIcs) 203, Schloss Dagstuhl—Leibniz-Zentrum für Informatik, 2021, doi:10.4230/LIPIcs.CONCUR.2021.33.
  171. (with N. Bertrand, L. de Alfaro, C. Palamidessi & N. Yoshida) CONCUR Test-Of-Time Award 2021. In Proceedings 32nd International Conference on Concurrency Theory (CONCUR 2021), Online, August 2021 (S. Haddad & D. Varacca, eds.) Leibniz International Proceedings in Informatics (LIPIcs) 203, Schloss Dagstuhl—Leibniz-Zentrum für Informatik, 2021, doi:10.4230/LIPIcs.CONCUR.2021.1.
  172. Reactive Bisimulation Semantics for a Process Algebra with Timeouts. Acta Informatica 60, 2023, pp 11-57, doi: 10.1007/s00236-022-00417-1
  173. Fair Must Testing for I/O Automata. In: A Journey from Process Algebra via Timed Automata to Model Learning (N. Jansen, M. Stoelinga, P. van den Bos, eds.), LNCS 13560, Springer, pp. 559-574, doi: 10.1007/978-3-031-15629-8_30 Archived at https://arxiv.org/abs/2212.11248.
  174. Just Testing. Archived at https://arxiv.org/abs/2212.08829. Extended abstract in: Proceedings 26th International Conference on Foundations of Software Science and Computation Structures (FoSSaCS 2023); held as part of the European Joint Conferences on Theory and Practice of Software (ETAPS 2023), Paris, France, April 2023 (O. Kupferman & P. Sobocinski, eds.), LNCS 13992, Springer, pp. 498-519, doi:10.1007/978-3-031-30829-1_24.
  175. (with J.F. Groote & E.P. de Vink) A Cancellation Law for Probabilistic Processes. In: Proceedings Combined 30th International Workshop on Expressiveness in Concurrency and 20th Workshop on Structural Operational Semantics (EXPRESS/SOS 2023), Antwerp, Belgium, 18th September 2023 (C.A. Mezzina and G. Caltais, eds.), Electronic Proceedings in Theoretical Computer Science 387, Open Publishing Association, pp. 42–58, doi:10.4204/EPTCS.387.5.
  176. (with P. Höfner and W. Wang) A Lean-Congruence Format for EP-Bisimilarity. Archived at https://arxiv.org/abs/2308.16350. Extended abstract in: Proceedings Combined 30th International Workshop on Expressiveness in Concurrency and 20th Workshop on Structural Operational Semantics (EXPRESS/SOS 2023), Antwerp, Belgium, 18th September 2023 (C.A. Mezzina and G. Caltais, eds.), Electronic Proceedings in Theoretical Computer Science 387, Open Publishing Association, pp. 59–75, doi:10.4204/EPTCS.387.6.
  177. (with X. Qin, L. O'Connor, P. Höfner, O. Kammar & M. Steuwer) Shoggoth: A Formal Foundation for Strategic Rewriting. In: Proceedings of the ACM on Programming Languages 8, POPL, Article 3, January 2024, pp 61-89, doi:10.1145/3633211.
  178. (with Yu Wang, Zhaohui Zhu, Jinjin Zhang & Lixing Tan) More on Maximally Permissive Similarity Control of Discrete Event Systems. Archived at https://arxiv.org/abs/2407.08068.
  179. (with G. Reghem) Branching Bisimilarity for Processes with Time-outs. Archived at http://arxiv.org/abs/2408.10117. Extended abstract in Proceedings 35th International Conference on Concurrency Theory (CONCUR 2024), Calgary, Canada (Rupak Majumdar and Alexandra Silva, eds.) Leibniz International Proceedings in Informatics (LIPIcs) 311, Schloss Dagstuhl—Leibniz-Zentrum für Informatik, 2024, doi:10.4230/LIPIcs.CONCUR.2024.36.
  180. (with G. Reghem) Concrete Branching Bisimilarity for Processes with Time-outs.
  181. (with R.Y. Amjad & L. O'Connor) Semantics for Linear-time Temporal Logic with Finite Observations. In: Proceedings Combined 31th International Workshop on Expressiveness in Concurrency and 21th Workshop on Structural Operational Semantics (EXPRESS/SOS 2024), Calgary, Canada, 9th September 2024 (G. Caltais and C. DiGiusto, eds.), Electronic Proceedings in Theoretical Computer Science, Open Publishing Association.

Rob van Glabbeek
rvg@CS.Stanford.EDU