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—. 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. 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, 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, 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. 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. 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, 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. 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. 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. To appear in Information and Computation.
  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 (inactive). 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, 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,
  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, pp. 18-34. doi:10.4204/EPTCS.255.2.

Rob van Glabbeek
rvg@CS.Stanford.EDU