Bibtex entries of all papers written by Rob van Glabbeek.  Last updated 10 December 2024
@String{lncs =   "\rm LNCS"}
@String{springer = "Springer"}

@TechReport{vG85,
  author =       "Glabbeek, R.J. van",
  title =        "Good Coverings",
  institution =  "Mathematical Institute, University of Leiden",
  year =         "1985",
  type =         "Report",
  number =       "nr. 3",
  address =      "The Netherlands",
  month =        jan,
  URL =          "http://kilby.stanford.edu/~rvg/pub/good.pdf",
}

@Misc{vG99a,
  author =       "Glabbeek, R.J. van",
  title = 	 {The third millennium starts on January 1 of the year 2001},
  howpublished = {Position paper},
  year = 	 1999,
  url =          "http://kilby.stanford.edu/~rvg/millennium.html",
}

@Misc{vG99b,
  author =       "Glabbeek, R.J. van",
  title = 	 {Do we count from 0 or from 1? The ordinal use of cardinal expressions},
  howpublished = {Position paper},
  year = 	 1999,
  url =          "http://kilby.stanford.edu/~rvg/ordinal.html",
}

@Misc{vG01b,
  author =       "Glabbeek, R.J. van",
  title = 	 {Decidability, \rm an introduction to decidability theory without invoking Church' thesis},
  howpublished = {Class handout},
  year = 	 2001,
  url =          "http://kilby.stanford.edu/~rvg/154/handouts/decidability.html",
}

@Misc{vG01c,
  author =       "Glabbeek, R.J. van",
  title = 	 {The undefinability of definability},
  howpublished = {Class handout},
  year = 	 2001,
  url =          "http://kilby.stanford.edu/~rvg/154/handouts/definability.html",
}

1.

@Article{vG97,
  author =       "Glabbeek, R.J. van",
  title =        "Notes on the methodology of {CCS} and {CSP}",
  year =         "1997",
  month =        may,
  journal =      "Theoretical Computer Science",
  volume =       "177",
  number =       "2",
  pages =        "329--349",
  note =         "Originally appeared as Report CS-R8624, CWI,
                 Amsterdam, 1986",
  doi =          "10.1016/S0304-3975(96)00251-4",
  URL =          "http://theory.stanford.edu/~rvg/abstracts.html#1",
  optURL =       "http://www.cse.unsw.edu.au/~rvg/pub/methodology.pdf",
}

2.

@TechReport{vG86,
  author =       "Glabbeek, R.J. van",
  year =         "1986",
  month =        sep,
  institution =  "CWI",
  type =         "Report",
  number =       "CS-R8634",
  address =      "Amsterdam",
  title =        "Bounded nondeterminism and the approximation induction
                 principle in process algebra",
  note =         "Extended abstract in F.J. Brandenburg, G. Vidal-Naquet
                 \& M. Wirsing, editors: Proceedings {\sl STACS 87},
                 4$^{\it th}$ Annual Symposium on Theoretical Aspects of
                 Computer Science, Passau, Germany, February 1987, LNCS
                 247, Springer, 1987, pp. 336--347, doi:
           \urlalt{http://dx.doi.org/10.1007/BFb0039617}{10.1007/BFb0039617}",
}

@InProceedings{vG87,
  author =       "Glabbeek, R.J. van",
  booktitle =    "{\rm Proceedings} STACS 87, {\rm 4$^{\it th}$ Annual
                 Symposium on} Theoretical Aspects of Computer Science,
                 {\rm Passau, Germany, February 1987}",
  year =         "1987",
  editor =       "F.J. Brandenburg and G. Vidal-Naquet and M. Wirsing",
  series =       lncs,
  volume =       "247",
  publisher =    springer,
  pages =        "336--347",
  title =        "Bounded nondeterminism and the approximation induction
                 principle in process algebra (extended abstract)",
  doi =          "10.1007/BFb0039617",
}

3.

@TechReport{BG87,
  author =       "J.C.M. Baeten and Glabbeek, R.J. van",
  institution =  "CWI",
  type =         "Report",
  number =       "CS-R8701",
  address =      "Amsterdam",
  year =         "1987",
  note =         "Extended abstract in Th. Ottmann, editor: Proceedings
                 14$^{\it th}$ International Colloquium on {\sl
                 Automata, Languages and Programming}, ICALP '87,
                 Karlsruhe, Germany, July 1987, LNCS 267, Springer,
                 1987, pp. 84--94, doi:
  \urlalt{http://dx.doi.org/10.1007/3-540-18088-5\_8}{10.1007/3-540-18088-5\_8}",
  title =        "Another look at abstraction in process algebra",
  URL =          "http://www.cse.unsw.edu.au/~rvg/pub/another.pdf",
}

@InProceedings{BG87-ea,
  author =       "J.C.M. Baeten and Glabbeek, R.J. van",
  booktitle =    "{\rm Proceedings 14$^{\it th}$ International
                 Colloquium on} Automata, Languages and Programming,
                 {\rm ICALP '87, Karlsruhe, Germany, July 1987}",
  editor =       "Th. Ottmann",
  series =       lncs,
  volume =       "267",
  year =         "1987",
  month =        jul,
  publisher =    springer,
  pages =        "84--94",
  title =        "Another look at abstraction in process algebra
                 (extended abstract)",
  doi =          "10.1007/3-540-18088-5\_8",
  URL =          "http://www.cse.unsw.edu.au/~rvg/pub/another-ea.pdf",
}

4.

@InProceedings{BG87a,
  author =       "J.C.M. Baeten and Glabbeek, R.J. van",
  booktitle =    "{\rm Proceedings $7^{th}$ Conference on} Foundations
                 of Software Technology and Theoretical Computer
                 Science, {\rm Pune, India, December 1987}",
  year =         "1987",
  editor =       "K.V. Nori",
  series =       lncs,
  volume =       "287",
  publisher =    springer,
  pages =        "153--172",
  title =        "Merge and termination in process algebra",
  doi =          "10.1007/3-540-18625-5\_49",
  URL =          "http://theory.stanford.edu/~rvg/abstracts.html#4",
}

5.

@Article{BG89,
  author =       "J.C.M. Baeten and Glabbeek, R.J. van",
  year =         "1989",
  journal =      "Fundamenta Informaticae",
  pages =        "221--242",
  title =        "Abstraction and empty process in process algebra",
  volume =       "XII",
  URL =          "http://www.cse.unsw.edu.au/~rvg/pub/etaepsilon.pdf",
}

6.

@InProceedings{GV87,
  author =       "Glabbeek, R.J. van and F.W. Vaandrager",
  booktitle =    "{\rm Proceedings} PARLE, Parallel Architectures and
                 Languages Europe, {\rm Eindhoven, The Netherlands, June
                 1987, Vol. II: Parallel Languages}",
  year =         "1987",
  editor =       "Bakker, J.W. de and A.J. Nijman and P.C. Treleaven",
  series =       lncs,
  volume =       "259",
  publisher =    springer,
  pages =        "224--242",
  title =        "Petri net models for algebraic theories of concurrency
                 (extended abstract)",
  doi =          "10.1007/3-540-17945-3\_13",
  URL =          "http://kilby.stanford.edu/~rvg/pub/petri.pdf",
}

i.

@Misc{vG88,
  author =       "Glabbeek, R.J. van",
  title =        "De semantiek van eindige, sequenti{\"e}le processen
                 met interne acties",
  year =         "1988",
  howpublished = "Syllabus processemantieken, deel 2",
  note =         "Handwritten manuscript, in Dutch",
}

7.

@TechReport{GV88,
  author =       "Glabbeek, R.J. van and F.W. Vaandrager",
  title =        "Modular specifications in process algebra---with
                 curious queues",
  institution =  "CWI",
  type =         "Report",
  number =       "CS-R8821",
  address =      "Amsterdam",
  year =         "1988",
  note =         "Extended abstract in M. Wirsing \& J.A. Bergstra,
                 editors: {\sl Algebraic Methods: Theory, Tools and
                 Applications}, LNCS 394, Springer, 1989, pp. 465--506,
                 doi: \urlalt{http://dx.doi.org/10.1007/BFb0015049}
                 {10.1007/BFb0015049}",
}

@InProceedings{GV89,
  author =       "Glabbeek, R.J. van and F.W. Vaandrager",
  booktitle =    "Algebraic Methods: Theory, Tools and Applications",
  year =         "1989",
  editor =       "M. Wirsing and J.A. Bergstra",
  series =       lncs,
  volume =       "394",
  publisher =    springer,
  pages =        "465--506",
  title =        "Modular specifications in process algebra---with
                 curious queues (extended abstract)",
  doi =          "10.1007/BFb0015049",
}

8.

@TechReport{OGG88,
  author =       "E.-R. Olderog and U. Goltz and Glabbeek, R.J. van",
  institution =  "Gesellschaft f{\"{u}}r Mathematik und
                 Datenverarbeitung",
  type =         "Arbeitspapiere der GMD",
  number =       "320",
  address =      "Sankt Augustin",
  year =         "1988",
  title =        "Combining Compositionality and Concurrency, \rm
                 {Summary of a GMD-Workshop, K\"{o}nigswinter, March
                 1988}",
}

8a.

@InProceedings{vG88a,
  author =       "Glabbeek, R.J. van",
  title =        "An operational non-interleaved process graph semantics
                 of {CCSP} \rm (abstract)",
  editor =       "E.-R. Olderog and U. Goltz and R.J. van Glabbeek",
  year =         "1988",
  booktitle =    "Combining Compositionality and Concurrency, {\rm
                 Summary of a GMD-Workshop, K\"onigswinter, March
                 1988}",
  series =       "Arbeitspapiere der GMD 320",
  publisher =    "Gesellschaft f{\"{u}}r Mathematik und
                 Datenverarbeitung",
  address =      "Sankt Augustin",
  pages =        "18--19",
}

9.

@TechReport{RG88,
  author =       "P.H. Rodenburg and Glabbeek, R.J. van",
  year =         "1988",
  institution =  "CWI",
  type =         "Report",
  number =       "CS-R8838",
  address =      "Amsterdam",
  title =        "An interpolation theorem in equational logic",
  url =          "http://theory.stanford.edu/~rvg/abstracts.html#9"
}

10.

@TechReport{GG89,
  author =       "Glabbeek, R.J. van and U. Goltz",
  institution =  "Gesellschaft f{\"{u}}r Mathematik und
                 Datenverarbeitung",
  type =         "Arbeitspapiere der GMD",
  number =       "366",
  address =      "Sankt Augustin",
  year =         "1989",
  note =         "Extended abstract in A. Kreczmar \& G. Mirkowska:
                 Proceedings $14^{th}$ Symposium on {\sl Mathematical
                 Foundations of Computer Science}, MFCS '89,
                 Por\c{a}bka-Kozubnik, Poland, August/September 1989,
                 LNCS 379, Springer, pp. 237--248, doi:
                 \urlalt{http://dx.doi.org/10.1007/3-540-51486-4\_71}
                 {10.1007/3-540-51486-4\_71}",
  title =        "Equivalence notions for concurrent systems and
                 refinement of actions",
}

@InProceedings{GG89b,
  author =       "Glabbeek, R.J. van and U. Goltz",
  year =         "1989",
  booktitle =    "{\rm Proceedings $14^{th}$ Symposium on} Mathematical
                 Foundations of Computer Science, {\rm MFCS '89,
                 Por\c{a}bka-Kozubnik, Poland, August/September 1989}",
  editor =       "A. Kreczmar and G. Mirkowska",
  series =       lncs,
  volume =       "379",
  publisher =    springer,
  pages =        "237--248",
  title =        "Equivalence notions for concurrent systems and
                 refinement of actions (extended abstract)",
  doi =          "10.1007/3-540-51486-4\_71",
}

11.

@InProceedings{GW89,
  author =       "Glabbeek, R.J. van and W.P. Weijland",
  booktitle =    "Information Processing 89, {\rm Proceedings of the
                 IFIP 11th World Computer Congress, San Francisco
                 1989}",
  year =         "1989",
  editor =       "G.X. Ritter",
  publisher =    "North-Holland",
  pages =        "613--618",
  note =         "Full version in {\sl Jounal of the ACM} 43(3), 1996,
                 pp. 555--600",
  title =        "Branching Time and Abstraction in Bisimulation
                 Semantics (extended abstract)",
  url =          "http://theory.stanford.edu/~rvg/abstracts.html#11"
}

12.

@TechReport{GW89a,
  author =       "Glabbeek, R.J. van and W.P. Weijland",
  year =         "1989",
  institution =  "CWI",
  type =         "Report",
  number =       "CS-R8922",
  address =      "Amsterdam",
  note =         "Also appeared in: Proceedings AMAST Conference, May
                 1989, Iowa, USA, pp. 197--201",
  title =        "Refinement in Branching Time Semantics",
  url =          "http://theory.stanford.edu/~rvg/abstracts.html#12"
}

@InProceedings{GW89b,
  author =       "Glabbeek, R.J. van and W.P. Weijland",
  year =         "1989",
  booktitle =    "{\rm Proceedings AMAST Conference, May
                 1989, Iowa, USA}",
  pages =        "197--201",
  title =        "Refinement in Branching Time Semantics",
  url =          "http://theory.stanford.edu/~rvg/abstracts.html#12"
}

13.

@InCollection{GR89,
  author =       "Glabbeek, R.J. van and Rutten, J.J.M.M.",
  booktitle =    "J.W. de Bakker, 25 jaar semantiek, liber amicorum",
  year =         "1989",
  publisher =    "CWI",
  address =      "Amsterdam",
  pages =        "243--246",
  title =        "The processes of {De Bakker and Zucker} represent
                 bisimulation equivalence classes",
}

14.

@Article{GG89a,
  author =       "Glabbeek, R.J. van and U. Goltz",
  year =         "1989",
  month =        jun,
  journal =      "Bulletin of the European Association for Theoretical
                 Computer Science",
  pages =        "154--163",
  title =        "Partial order semantics for refinement of
                 actions---neither necessary nor always sufficient but
                 appropriate when used with care",
  volume =       "38",
}

15.

@InProceedings{vG90,
  author =       "Glabbeek, R.J. van",
  year =         "1990",
  editor =       "M. Broy and C.B. Jones",
  booktitle =    "{\rm Proceedings IFIP TC2 Working Conference on}
                 Programming Concepts and Methods, {\rm Sea of Gallilee,
                 Israel, April 1990}",
  publisher =    "North-Holland",
  pages =        "27--52",
  title =        "The refinement theorem for {ST}-bisimulation
                 semantics",
  URL =          "http://kilby.stanford.edu/~rvg/pub/STbisimulation.pdf",
}

16.

@InProceedings{GG90,
  author =       "Glabbeek, R.J. van and U. Goltz",
  booktitle =    "{\rm Proceedings REX Workshop on} Stepwise Refinement
                 of Distributed Systems: Models, Formalism, Correctness,
                 {\rm Mook, The Netherlands, May/June 1989}",
  year =         "1990",
  editor =       "Bakker, J.W. de and Roever, W.P. de and G. Rozenberg",
  series =       lncs,
  volume =       "430",
  publisher =    springer,
  pages =        "267--300",
  title =        "Refinement of actions in causality based models",
  doi =          "10.1007/3-540-52559-9\_68",
}

17.

@PhdThesis{vG90b,
  author =       "Glabbeek, R.J. van",
  address =      "Amsterdam",
  year =         "1990",
  school =       "Free University",
  title =        "Comparative Concurrency Semantics and Refinement of
                 Actions",
  note =         "Introduction available at
                  \url{http://theory.stanford.edu/~rvg/thesis.html}.
                 Second edition available as {\sl CWI tract} 109, CWI,
                 Amsterdam 1996",
}

@Book{vG96,
  author =       "Glabbeek, R.J. van",
  title =        "Comparative Concurrency Semantics and Refinement of
                 Actions",
  publisher =    "CWI",
  year =         "1996",
  volume =       "109",
  series =       "CWI Tract",
  address =      "Amsterdam",
  note =         "Second edition of dissertation. Introduction available at
                  \url{http://theory.stanford.edu/~rvg/thesis.html}",
}

18.

@InProceedings{GSST90,
  author =       "Glabbeek, R.J. van and S.A. Smolka and B. Steffen and
                 C.M.N. Tofts",
  booktitle =    "{\rm Proceedings $5^{th}$ Annual IEEE Symposium on}
                 Logic in Computer Science, {\rm LICS'90, Philadelphia,
                 USA, June 1990}",
  year =         "1990",
  publisher =    "IEEE Computer Society Press",
  pages =        "130--141",
  title =        "Reactive, generative, and stratified models of
                 probabilistic processes",
  doi =          "10.1109/LICS.1990.113740",
}

19.

@TechReport{vG90a,
  author =       "Glabbeek, R.J. van",
  title =        "The Linear Time -- Branching Time Spectrum",
  institution =  "CWI",
  type =         "Report",
  number =       "CS-R9029",
  address =      "Amsterdam",
  year =         "1990",
  note =         "Extended abstract in J.C.M. Baeten \& J.W. Klop,
                 editors: Proceedings {\sl CONCUR '90, Theories of
                 Concurrency: Unification and Extension}, Amsterdam,
                 August 1990, LNCS 458, Springer, 1990, pp. 278--297,
   doi: \urlalt{http://dx.doi.org/10.1007/BFb0039066}{10.1007/BFb0039066}",
}

@InProceedings{vG90c,
  author =       "Glabbeek, R.J. van",
  booktitle =    "{\rm Proceedings} CONCUR '90, Theories of Concurrency:
                 Unification and Extension, {\rm Amsterdam, August
                 1990}",
  year =         "1990",
  editor =       "J.C.M. Baeten and J.W. Klop",
  series =       lncs,
  volume =       "458",
  publisher =    springer,
  pages =        "278--297",
  title =        "The Linear Time -- Branching Time Spectrum (extended
                 abstract)",
  doi =          "10.1007/BFb0039066",
}

20.

@InProceedings{GG90a,
  author =       "Glabbeek, R.J. van and U. Goltz",
  title =        "Equivalences and Refinement",
  booktitle =    "{\rm Proceedings} Semantics of Systems of Concurrent
                 Processes, {\rm LITP Spring School on Theoretical
                 Computer Science, La Roche Posay, France, April 1990}",
  editor =       "I. Guessarian",
  volume =       "469",
  series =       lncs,
  year =         "1990",
  publisher =    springer,
  month =        apr,
  pages =        "309--333",
  doi =          "10.1007/3-540-53479-2\_13",
}

21.

@TechReport{GG90b,
  author =       "Glabbeek, R.J. van and U. Goltz",
  year =         "1990",
  month =        nov,
  institution =  "Institut f{\"{u}}r Informatik, Technische
                 Universit{\"{a}}t M{\"{u}}nchen",
  type =         "SFB-Bericht",
  number =       "Nr.\ 342/23/90 A",
  note =         "Abstract in {E. Best \& G. Rozenberg, editors}:
                 Proceedings {\sl $3^{\it rd}$ Workshop on Concurrency
                 and Compositionality}, Goslar, Germany, March 1991,
                 {GMD}-Studien Nr.\ 191, {Gesellschaft f\"{u}r
                 Mathematik und Datenverarbeitung}, {Sankt Augustin}
                 1991, pp. {113--116}",
  title =        "A Deadlock-sensitive Congruence for Action
                 Refinement",
}

@InProceedings{GG91,
  author =       "Glabbeek, R.J. van and U. Goltz",
  title =        "A Deadlock-sensitive Congruence for Action Refinement
                 {\rm (abstract)}",
  booktitle =    "{\rm Proceedings} $3^{rd}$ Workshop on Concurrency and
                 Compositionality, {\rm Goslar, Germany, March 1991}",
  series =       "GMD-Studien Nr.\ 191",
  year =         "1991",
  editor =       "E. Best and G. Rozenberg",
  pages =        "113--116",
  publisher =    "Gesellschaft f{\"{u}}r Mathematik und
                 Datenverarbeitung",
  address =      "Sankt Augustin",
}

22.

@Article{GV93,
  author =       "Glabbeek, R.J. van and F.W. Vaandrager",
  year =         "1993",
  journal =      "Theoretical Computer Science",
  volume =       "113",
  number =       "2",
  pages =        "293--348",
  title =        "Modular Specification of Process Algebras",
  doi =          "10.1016/0304-3975(93)90006-F",
}

23.

@TechReport{GW90,
  author =       "Glabbeek, R.J. van and W.P. Weijland",
  title =        "Branching Time and Abstraction in Bisimulation
                 Semantics",
  institution =  "Institut f{\"{u}}r Informatik, Technische
                 Universit{\"{a}}t M{\"{u}}nchen",
  number =       "TUM-I9052, SFB-Bericht Nr.\ 342/29/90 A",
  address =      "Germany",
  year =         "1990",
  note =         "Original version of \cite{GW96}. Extended abstract in
                 G.X. Ritter, editor: {\sl Information Processing 89},
                 Proceedings of the IFIP 11th World Computer Congress,
                 San Francisco, USA 1989, Elsevier Science Publishers
                 B.V. (North-Holland), 1989, pp. 613--618",
  url =          "http://theory.stanford.edu/~rvg/abstracts.html#23"
}

@Article{GW96,
  author =       "Glabbeek, R.J. van and W.P. Weijland",
  title =        "Branching Time and Abstraction in Bisimulation
                 Semantics",
  journal =      "Journal of the ACM",
  year =         "1996",
  volume =       "43",
  number =       "3",
  pages =        "555--600",
  doi =          "10.1145/233551.233556",
  note =         "Available in part at
                  \url{http://Theory.Stanford.EDU/~rvg/abstraction/}",
}

ii.

@Misc{vG91,
  author =       "Glabbeek, R.J. van",
  title =        "Bisimulations for higher dimensional automata",
  howpublished = "Email message, July 7, 1991",
  year =         "1991",
  URL =          "http://theory.stanford.edu/~rvg/hda",
  annote =       "This is the `technical report' quoted a.o. by Goubault
                 and Jensen",
}

24.

@InCollection{CGG92,
  author =       "I. Czaja and Glabbeek, R.J. van and U. Goltz",
  title =        "Interleaving semantics and action refinement with
                 atomic choice",
  booktitle =    "Advances in Petri Nets 1992",
  publisher =    springer,
  year =         "1992",
  editor =       "G. Rozenberg",
  volume =       "609",
  series =       lncs,
  pages =        "89--107",
  doi =          "10.1007/3-540-55610-9\_169",
  URL =          "http://theory.stanford.edu/~rvg/abstracts.html#24",
}

25.

@InProceedings{vG93a,
  author =       "Glabbeek, R.J. van",
  title =        "A complete axiomatization for branching bisimulation
                 congruence of finite-state behaviours",
  booktitle =    "{\rm Proceedings 18$^{\it th}$ International Symposium
                 on} Mathematical Foundations of Computer Science, {\rm
                 MFCS '93, Gdansk, Poland, August/September 1993}",
  editor =       "A.M. Borzyszkowski and S. Soko\l owski",
  pages =        "473--484",
  series =       lncs,
  volume =       "711",
  publisher =    springer,
  year =         "1993",
  doi =          "10.1007/3-540-57182-5\_39",
  URL =          "http://theory.stanford.edu/~rvg/abstracts.html#25",
}

26.

@InProceedings{vG93,
  author =       "Glabbeek, R.J. van",
  title =        "The Linear Time -- Branching Time Spectrum {II}; The
                 semantics of sequential systems with silent moves
                 (extended abstract)",
  booktitle =    "{\rm Proceedings} CONCUR'93, {\rm 4$^{\it th}$
                 International Conference on} Concurrency Theory,
                 {\rm Hildesheim, Germany, August 1993}",
  year =         "1993",
  editor =       "E. Best",
  series =       lncs,
  volume =       "715",
  publisher =    springer,
  pages =        "66--81",
  doi =          "10.1007/3-540-57208-2\_6",
}

@Misc{vG93b,
  author =       "Glabbeek, R.J. van",
  title =        "The linear time -- branching time spectrum {II}; the
                 semantics of sequential systems with silent moves
                 (preliminary version)",
  year =         "1993",
  howpublished = "Manuscript",
  URL =          "http://theory.stanford.edu/~rvg/abstracts.html#26",
  note =         "Extended abstract in E. Best, editor: Proceedings
                 {\sl CONCUR'93}, 4$^{\it th}$ International Conference on
                 {\sl Concurrency Theory}, Hildesheim, Germany, August 1993,
                 LNCS 715, Springer, pp. 66--81, doi:
  \urlalt{http://dx.doi.org/10.1007/3-540-57208-2\_6}{10.1007/3-540-57208-2\_6}",
}

27.

@InCollection{vG94,
  author =       "Glabbeek, R.J. van",
  title =        "What is branching time semantics and why to use it?",
  booktitle =    "The Concurrency Column",
  editor =       "M. Nielsen",
  publisher =    "{\sl Bulletin of the EATCS} 53",
  year =         "1994",
  pages =        "190--198",
  URL =          "http://Theory.stanford.edu/~rvg/branching",
  note =         "Also in G.
                 Paun, G. Rozenberg \& A. Salomaa, editors: {\sl Current
                 Trends in Theoretical Computer Science; Entering the
                 21st Century}, World Scientific, 2001, pp. 469-479",
}

@InCollection{vG01a,
  author =       "Glabbeek, R.J. van",
  title =        "What is branching time semantics and why to use it?",
  booktitle =    "Current Trends in Theoretical Computer Science;
                 Entering the 21st Century",
  editor =       "G. Paun and G. Rozenberg and A. Salomaa",
  publisher =    "World Scientific",
  year =         "2001",
  pages =        "469-479",
  URL =          "http://Theory.stanford.edu/~rvg/branching",
  note =         "Also in
                 M.~Nielsen, editor: {\sl The Concurrency Column},
                 {\sl Bulletin of the EATCS} 53, 1994, pp. 190--198",
}

28.

@InProceedings{vG93d,
  author =       "Glabbeek, R.J. van",
  title =        "Full Abstraction in Structural Operational Semantics
                 (extended abstract)",
  booktitle =    "{\rm Proceedings of the $3^{rd}$ International
                 Conference on} Algebraic Methodology and Software
                 Technology, {\rm AMAST'93, Twente, The Netherlands,
                 June l993}",
  year =         "1993",
  editor =       "M. Nivat and C. Rattray and T. Rus and G. Scollo",
  series =       "Workshops in Computing",
  publisher =    springer,
  pages =        "75--82",
  URL =          "http://theory.stanford.edu/~rvg/abstracts.html#28",
}

29.

@InProceedings{BGG94,
  author =       "N. Busi and Glabbeek, R.J. van and R. Gorrieri",
  title =        "Axiomatising {ST}-bisimulation equivalence",
  booktitle =    "{\rm Proceedings IFIP TC2 Working Conference on}
                 Programming Concepts, Methods and Calculi, {\rm San
                 Miniato, Italy, June 1994}",
  editor =       "E.-R. Olderog",
  series =       "IFIP Transactions A-56",
  year =         "1994",
  publisher =    "North-Holland",
  pages =        "169--188",
  URL =          "http://theory.stanford.edu/~rvg/abstracts.html#29",
}

30.

@Article{GSS95,
  author =       "Glabbeek, R.J. van and S.A. Smolka and B. Steffen",
  title =        "Reactive, generative, and stratified models of
                 probabilistic processes",
  journal =      "Information and Computation",
  year =         "1995",
  volume =       "121",
  number =       "1",
  pages =        "59--80",
  doi =          "10.1006/inco.1995.1123",
  URL =          "http://theory.stanford.edu/~rvg/abstracts.html#30",
}

31.

@InProceedings{vG94a,
  author =       "Glabbeek, R.J. van",
  title =        "On the expressiveness of {ACP} (extended abstract)",
  booktitle =    "{\rm Proceedings First Workshop on the} Algebra of
                 Communicating Processes, {\rm ACP'94, Utrecht, The
                 Netherlands, May 1994}",
  editor =       "A. Ponse and C. Verhoef and S.F.M. van Vlijmen",
  series =       "Workshops in Computing",
  year =         "1994",
  publisher =    springer,
  pages =        "188--217",
  doi =          "10.1007/978-1-4471-2120-6\_8",
  URL =          "http://theory.stanford.edu/~rvg/abstracts.html#31",
}

32.

@TechReport{vG95,
  author =       "Glabbeek, R.J. van",
  title =        "The Meaning of Negative Premises in Transition System
                 Specifications {II}",
  institution =  "Stanford University",
  number =       "STAN-CS-TN-95-16",
  year =         "1995",
  URL =          "http://theory.stanford.edu/~rvg/abstracts.html#32",
  note =         "Extended abstract in F. Meyer auf der Heide \& B.
                 Monien, editors: Proceedings 23$^{\it th}$
                 International Colloquium on {\sl Automata, Languages
                 and Programming}, ICALP '96, Paderborn, Germany, July
                 1996, LNCS 1099, Springer, pp. 502--513, doi:
                 \urlalt{http://dx.doi.org/10.1007/3-540-61440-0\_154}
                 {10.1007/3-540-61440-0\_154}",
}

@InProceedings{vG96b,
  author =       "Glabbeek, R.J. van",
  booktitle =    "{\rm Proceedings 23$^{\it th}$ International
                 Colloquium on} Automata, Languages and Programming,
                 {\rm ICALP '96, Paderborn, Germany, July 1996}",
  editor =       "F. {Meyer auf der Heide} and B. Monien",
  series =       lncs,
  volume =       "1099",
  year =         "1996",
  month =        jul,
  publisher =    springer,
  pages =        "502--513",
  title =        "The Meaning of Negative Premises in Transition System
                 Specifications {II} (extended abstract)",
  doi =          "10.1007/3-540-61440-0\_154",
  URL =          "http://theory.stanford.edu/~rvg/abstracts.html#32",
}

33.

@Article{FG96,
  author =       "W.J. Fokkink and Glabbeek, R.J. van",
  title =        "Ntyft/ntyxt rules reduce to ntree rules",
  journal =      "Information and Computation",
  year =         "1996",
  volume =       "126",
  number =       "1",
  pages =        "1--10",
  doi =          "10.1006/inco.1996.0030",
  URL =          "http://theory.stanford.edu/~rvg/abstracts.html#33",
}

34.

@InProceedings{GP95,
  author =       "Glabbeek, R.J. van and Plotkin, G.D.",
  title =        "Configuration Structures (extended abstract)",
  booktitle =    "{\rm Proceedings $10^{th}$ Annual IEEE Symposium on}
                 Logic in Computer Science, {\rm LICS'95, San Diego,
                 USA, June 1995}",
  editor =       "D. Kozen",
  month =        jun,
  pages =        "199--209",
  publisher =    "IEEE Computer Society Press",
  year =         "1995",
  doi =          "10.1109/LICS.1995.523257",
  URL =          "http://theory.stanford.edu/~rvg/abstracts.html#34",
}

35.

@InProceedings{GV91,
  author =       "Glabbeek, R.J. van and F.W. Vaandrager",
  title =        "The Difference Between Splitting in $n$ and $n\mathord+1$ {\rm
                 (abstract)}",
  booktitle =    "{\rm Proceedings} $3^{rd}$ Workshop on Concurrency and
                 Compositionality, {\rm Goslar, Germany, March 1991}",
  series =       "GMD-Studien Nr.\ 191",
  year =         "1991",
  editor =       "E. Best and G. Rozenberg",
  pages =        "117--121",
  publisher =    "Gesellschaft f{\"{u}}r Mathematik und
                 Datenverarbeitung",
  address =      "Sankt Augustin",
}

@Article{GV97,
  author =       "Glabbeek, R.J. van and F.W. Vaandrager",
  title =        "The Difference Between Splitting in $n$ and $n\mathord+1$",
  year =         "1997",
  note =         "Abstract in {E. Best \& G. Rozenberg, editors}:
                 Proceedings {\sl $3^{\it rd}$ Workshop on Concurrency
                 and Compositionality}, Goslar, Germany, March 1991,
                 {GMD}-Studien Nr.\ 191, {Gesellschaft f\"{u}r
                 Mathematik und Datenverarbeitung}, {Sankt Augustin}
                 1991, pp. {117--121}",
  journal =      "Information and Computation",
  volume =       "136",
  number =       "2",
  pages =        "109--142",
  doi =          "10.1006/inco.1997.2634",
  URL =          "http://boole.stanford.edu/pub/split.pdf",
}

iii.

@Misc{vG96h,
  author =	 {Glabbeek, R.J. van},
  title =	 {History preserving process graphs},
  year =	 1996,
  howpublished = {Draft},
  URL =          "http://theory.stanford.edu/~rvg/abstracts.html#hppg",
}

36.

@Misc{vG95a,
  author =       "Glabbeek, R.J. van",
  title =        "Branching Bisimulation as a Tool in the Analysis of
                 Weak Bisimulation",
  URL =          "http://theory.stanford.edu/~rvg/abstracts.html#36",
  year =         "1995",
}

37.

@Article{AFGI96,
  author =       "L. Aceto and W.J. Fokkink and Glabbeek, R.J. van and
                 A. Ing{\'o}lfsd{\'o}ttir",
  title =        "Axiomatizing Prefix Iteration with Silent Steps",
  journal =      "Information and Computation",
  year =         "1996",
  volume =       "127",
  number =       "1",
  pages =        "26--40",
  doi =          "10.1006/inco.1996.0047",
  URL =          "http://theory.stanford.edu/~rvg/abstracts.html#37",
}

iv.

@InProceedings{vG96a,
  author =       "Glabbeek, R.J. van",
  title =        "Petri Nets, Configuration Structures, Propositional
                 Theories and History Preserving Process Graphs \rm
                 (abstract)",
  booktitle =    "Semantics of Concurrent Systems---Foundations and
                 Applications",
  editor =       "M. Droste and E.-R. Olderog and B. Steffen and G.
                 Winskel",
  volume =       "144",
  series =       "Dagstuhl-Seminar-Report",
  year =         "1996",
  publisher =    "Internationales Begegnungs- und Forschungszentrum
                 f{\"u}r Informatik Schloss Dagstuhl",
  address =      "Postfach 15 11 50, D-66041 Saarbr{\"u}cken, Germany",
  pages =        "14--15",
  URL =          "http://theory.stanford.edu/~rvg/nets-structures-graphs",
}

38.

@InProceedings{vG97a,
  author =       "Glabbeek, R.J. van",
  title =        "Axiomatizing Flat Iteration",
  booktitle =    "{\rm Proceedings} CONCUR '97, {\rm 8$^{\it th}$
                 International Conference on} Concurrency Theory, {\rm
                 Warsaw, Poland, July 1997}",
  editor =       "A. Mazurkiewicz and J. Winkowski",
  series =       lncs,
  volume =       "1243",
  year =         "1997",
  publisher =    springer,
  month =        may,
  pages =        "228--242",
  doi =          "10.1007/3-540-63141-0\_16",
  URL =          "http://theory.stanford.edu/~rvg/abstracts.html#38",
}

vi.

@InProceedings{vG98,
  author =       "Glabbeek, R.J. van",
  title =        "On the Relative Expressiveness of {P}etri Nets, Event
                 Structures and Process Algebras \rm (abstract)",
  booktitle =    "Information Systems as Reactive Systems",
  editor =       "H.-D. Ehrich and U. Goltz and J. Meseguer",
  volume =       "200",
  series =       "Dagstuhl-Seminar-Report",
  year =         "1998",
  publisher =    "Internationales Begegnungs- und Forschungszentrum
                 f{\"u}r Informatik Schloss Dagstuhl",
  address =      "Postfach 15 11 50, D-66041 Saarbr{\"u}cken, Germany",
  pages =        "12",
  URL =          "http://theory.stanford.edu/~rvg/nets-process-alg",
  altURL =       "http://www.dagstuhl.de/98071",
}

39.

@Book{AGW98,
  title =        "Computing Natural Language",
  series =       "CSLI Lecture Notes",
  volume =       "81",
  publisher =    "Center for the Study of Language and Information,
                 Stanford University",
  year =         "1998",
  editor =       "A. Aliseda and Glabbeek, R.J. van and D. Westerst{\aa}hl",
  url =          "http://theory.stanford.edu/~rvg/abstracts.html#39"
}

40.

@TechReport{GR98a,
  author =       "Glabbeek, R.J. van and P. Rittgen",
  title =        "Scheduling Algebra",
  institution =  "Universit{\"a}t Koblenz-Landau",
  year =         "1998",
  type =         "Arbeitsberichte des Instituts f{\"u}r
                 Wirtschaftsinformatik",
  number =       "12",
  address =      "Germany",
  month =        mar,
  URL =          "http://theory.stanford.edu/~rvg/abstracts.html#40",
  note =         "Slightly
                 revised version in A.M. Haeberer, editor: Proceedings
                 of the Seventh International Conference on {\sl
                 Algebraic Methodology and Software Technology},
                 AMAST'98, Amazonia, Brazil, January 1999, LNCS 1548,
                 Springer, 1999, pp. 278--292, doi:
                 \urlalt{http://dx.doi.org/10.1007/3-540-49253-4\_21}
                 {10.1007/3-540-49253-4\_21}",
}

@TechReport{GR98b,
  author =       "Glabbeek, R.J. van and P. Rittgen",
  title =        "Scheduling Algebra",
  institution =  "Stanford University",
  number =       "STAN-CS-TN-98-87",
  year =         "1998",
  month =        dec,
  URL =          "http://theory.stanford.edu/~rvg/abstracts.html#40",
  note =         "Slightly condensed version in A.M. Haeberer, editor:
                 Proceedings of the Seventh International Conference on
                 {\sl Algebraic Methodology and Software Technology},
                 AMAST'98, Amazonia, Brazil, January 1999, LNCS 1548,
                 Springer, 1999, pp. 278--292, doi:
                 \urlalt{http://dx.doi.org/10.1007/3-540-49253-4\_21}
                 {10.1007/3-540-49253-4\_21}",
}

@InProceedings{GR99,
  author =       "Glabbeek, R.J. van and P. Rittgen",
  title =        "Scheduling Algebra",
  booktitle =    "{\rm Proceedings of the $7^{th}$ International
                 Conference on} Algebraic Methodology and Software
                 Technology, {\rm AMAST'98, Amazonia, Brazil, January
                 1999}",
  year =         "1999",
  month =        jan,
  editor =       "A.M. Haeberer",
  series =       lncs,
  volume =       "1548",
  publisher =    springer,
  pages =        "278--292",
  doi =          "10.1007/3-540-49253-4\_21",
  URL =          "http://theory.stanford.edu/~rvg/abstracts.html#40",
}

41.

@Article{GG01,
  author =       "Glabbeek, R.J. van and U. Goltz",
  title =        "Refinement of Actions and Equivalence Notions for
                 Concurrent Systems",
  year =         "2001",
  journal =      "Acta Informatica",
  volume =       "37",
  pages =        "229--327",
  doi =          "10.1007/s002360000041",
  URL =          "http://theory.stanford.edu/~rvg/abstracts.html#41",
}

42.

@InProceedings{vG99,
  author =       "Glabbeek, R.J. van",
  title =        "Petri Nets, Configuration Structures and Higher
                 Dimensional Automata",
  booktitle =    "{\rm Proceedings} CONCUR '99, {\rm 10$^{\it th}$
                 International Conference on} Concurrency Theory, {\rm
                 Eindhoven, The Netherlands, August 1999}",
  year =         "1999",
  editor =       "J.C.M. Baeten and S. Mauw",
  volume =       "1664",
  series =       lncs,
  publisher =    springer,
  pages =        "21--27",
  doi =          "10.1007/3-540-48320-9\_3",
  URL =          "http://theory.stanford.edu/~rvg/abstracts.html#42",
}

vii.

@Article{PPG00,
  author = 	 {C. Palamidessi and J. Parrow and Glabbeek, R.J. van},
  title = 	 {{Preface \rm to the special issue of Information and
                  Computation dedicated to EXPRESS'97}},
  journal = 	 {Information and Computation},
  year = 	 {2000},
  volume = 	 {156},
  pages = 	 {1},
  doi  =         {10.1006/inco.1999.2815},
}

43.

@InCollection{vG01,
  author =       "Glabbeek, R.J. van",
  title =        "The Linear Time -- Branching Time Spectrum {I}; The
                 Semantics of Concrete, Sequential Processes",
  booktitle =    "Handbook of Process Algebra",
  publisher =    "Elsevier",
  year =         "2001",
  editor =       "J.A. Bergstra and A. Ponse and S.A. Smolka",
  chapter =      "1",
  pages =        "3--99",
  doi =          "10.1016/B978-044482830-9/50019-9",
  URL =          "http://theory.stanford.edu/~rvg/abstracts.html#43",
}

44.

@InProceedings{BFG00,
  author =       "B. Bloom and W.J. Fokkink and Glabbeek, R.J. van",
  title =        "Precongruence Formats for Decorated Trace Preorders",
  booktitle =    "{\rm Proceedings $15^{th}$ Annual IEEE Symposium on}
                 Logic in Computer Science, {\rm LICS'00, Santa
                 Barbara, USA, June 2000}",
  publisher =    "IEEE Computer Society Press",
  year =         "2000",
  pages =        "107--118",
  doi =          "10.1109/LICS.2000.855760",
  URL =          "http://theory.stanford.edu/~rvg/abstracts.html#44",
}

45.

@inCollection{vG00,
  author =       "Glabbeek, R.J. van",
  title =        "Bisimulation",
  booktitle =     "Encyclopedia of Parallel Computing",
  publisher =    "Springer",
  editor =       "D. Padua",
  URL =          "http://theory.stanford.edu/~rvg/abstracts.html#45",
  year =         "2011",
  doi =          "10.1007/978-0-387-09766-4\_149",            
  pages =        "136-139"
}

46.

@Article{GG04,
  author =       "Glabbeek, R.J. van and U. Goltz",
  title =        "Well-behaved Flow Event Structures for Parallel
                 Composition and Action Refinement",
  year =         "2004",
  month =        jan,
  journal =      "Theoretical Computer Science",
  volume =       "311",
  noNumber =     "1-3",
  pages =        "463--478",
  URL =          "http://theory.stanford.edu/~rvg/abstracts.html#46",
  doi  =          "10.1016/j.tcs.2003.10.031",
}

47.

@InProceedings{SG02,
  author =       "D.G. Stork and Glabbeek, R.J. van",
  title =        "Token-controlled place refinement in hierarchical
                 {Petri} nets with application to active document
                 workflow",
  booktitle =    "{\rm Proceedings $23^{rd}$ International Conference on}
                  Application and Theory of Petri Nets,
                  {\rm ICATPN'02, Adelaide, Australia, June 2002}",
  editor =	 "J. Esparza and C. Lakos",
  year =         "2002",
  publisher =    springer,
  series =       lncs,
  volume =       "2360",
  pages =        "394--413",
  doi =          "10.1007/3-540-48068-4\_23",
  URL =          "http://theory.stanford.edu/~rvg/abstracts.html#47",
}

48.

@Article{BFG04,
  author =       "B. Bloom and W.J. Fokkink and Glabbeek, R.J. van",
  title =        "Precongruence Formats for Decorated Trace Semantics",
  journal =      "Transactions on Computational Logic",
  publisher =    "ACM",
  year =         "2004",
  volume =       "5",
  number =       1,
  pages =        "26-78",
  doi =          "10.1145/963927.963929",
  URL =          "http://theory.stanford.edu/~rvg/abstracts.html#48",
}

49.

@InProceedings{GS03,
  author =       "Glabbeek, R.J. van and D.G. Stork",
  title =        "Query Nets: Interacting Workflow Modules that Ensure
                 Global Termination",
  booktitle =    "{\rm Proceedings International Conference on} Business
                 Process Management, {\rm BPM'03, Eindhoven, The
                 Netherlands, June 2003}",
  noeditor =	 "Wil van der Aalst, Arthur ter Hofstede and Mathias Weske",
  editor =	 "Aalst, W.M.P. van der and Hofstede, A.H.M. ter and Weske, M.",
  year =         "2003",
  publisher =    springer,
  series =       lncs,
  volume =       "2678",
  pages =	 "184--199",
  doi =          "10.1007/3-540-44895-0\_13",
  URL =          "http://theory.stanford.edu/~rvg/abstracts.html#49",
}

50.

@InProceedings{HG03,
  author = 	 {Hughes, D.J.D. and Glabbeek, R.J. van},
  title = 	 {Proof Nets for Unit-free Multiplicative-Additive Linear Logic
                 (extended abstract)},
  booktitle =    "{\rm Proceedings $18^{th}$ Annual IEEE Symposium on}
                  Logic in Computer Science, {\rm LICS'03, Ottawa,
		  Canada, June 2003}",
  year = 	 {2003},
  publisher =    {IEEE Computer Society Press},
  pages = 	 {1-10},
  doi =          "10.1109/LICS.2003.1210039",
  URL =          "http://theory.stanford.edu/~rvg/abstracts.html#50",
}

51.

@InProceedings{FGW03,
  author =       "W.J. Fokkink and Glabbeek, R.J. van and Wind, P. de",
  title = 	 {Compositionality of {Hennessy-Milner} Logic through
		  Structural Operational Semantics},
  booktitle = 	 {{\rm Proceedings 14th International Symposium on}
		  Fundamentals of Computation Theory, {\rm FCT'03,
		  Malm\"o, Sweden, August 2003}},
  editor = 	 {A. Lingas and B.J. Nilsson},
  volume = 	 {2751},
  series = 	 lncs,
  year = 	 {2003},
  publisher =    springer,
  address =      {Berlin / Heidelberg},
  pages = 	 {412-422},
  doi =          "10.1007/978-3-540-45077-1\_38",
  URL =          "http://theory.stanford.edu/~rvg/abstracts.html#51",
}

52.

@InProceedings{GV03,
  author =       "Glabbeek, R.J. van and F.W. Vaandrager",
  title = 	 {Bundle Event Structures and {CCSP}},
  booktitle = 	 {{\rm Proceedings} CONCUR'03, {\rm 14$^{\it th}$
                  International Conference on} Concurrency Theory, {\rm
		  Marseille, France, September 2003}},
  editor = 	 {R. Amadio and D. Lugiez},
  volume = 	 {2761},
  series = 	 lncs,
  year = 	 2003,
  publisher =    springer,
  pages = 	 {57-71},
  doi =          "10.1007/978-3-540-45187-7\_4",
  URL =          "http://theory.stanford.edu/~rvg/abstracts.html#52",
}

53.

@Article{vG04,
  author =       "Glabbeek, R.J. van",
  title =        "The Meaning of Negative Premises in Transition System
                 Specifications {II}",
  journal = 	 {Journal of Logic and Algebraic Programming},
  year = 	 {2004},
  volume = 	 {60--61},
  pages = 	 {229--258},
  doi =          "10.1016/j.jlap.2004.03.007",
  URL =          "http://theory.stanford.edu/~rvg/abstracts.html#53",
}

ix.

@InProceedings{vG03,
  author =       "Glabbeek, R.J. van",
  title = 	 {Liveness respecting semantics},
  booktitle = 	 {{\rm Slide Reprints from the Workshop on} Process Algebra:
                  Open Problems and Future Directions,
                  {\rm PA '03, Bologna, Italy, July 2003}},
  pages = 	 {59-63},
  year = 	 {2003},
  editor = 	 {L. Aceto and Z. {\'E}sik and W.J. Fokkink and
                  A. Ing{\'o}lfsd{\'o}ttir},
  volume = 	 {NS-03-3},
  series = 	 {BRICS notes},
  organization = {Department of Computer Science, University of Aarhus, Denmark},
  URL =          "http://www.brics.dk/NS/03/3/BRICS-NS-03-3.pdf",
}

54.

@Article{AFGI04,
  author =       "L. Aceto and W.J. Fokkink and Glabbeek, R.J. van and
                 A. Ing{\'o}lfsd{\'o}ttir",
  title = 	 {Nested Semantics over Finite Trees are Equationally Hard},
  journal =      "Information and Computation",
  year =         "2004",
  volume =       "191",
  number =       "2",
  pages =        "203--232",
  URL =          "http://theory.stanford.edu/~rvg/abstracts.html#54",
  doi  =          "10.1016/j.ic.2004.02.001",
}

55.

@InProceedings{GP04,
  author =       "Glabbeek, R.J. van and Plotkin, G.D.",
  title =        "Event Structures for Resolvable Conflict",
  booktitle =    "{\rm Proceedings $29^{th}$ International Symposium on}
		  Mathematical Foundations of Computer Science, {\rm MFCS'04,
 		  Prague, Czech Republic, August 2004}",
  editor =       "J. Fiala and V. Koubek and J. Kratochv\'il",
  month =        aug,
  series =       lncs,
  volume =       3153,
  publisher =    springer,
  year =         "2004",
  pages =        "550-561",
  doi =          "10.1007/978-3-540-28629-5\_42",
  URL =          "http://theory.stanford.edu/~rvg/abstracts.html#55",
}

56.

@Article{vG05,
  author = 	 {Glabbeek, R.J. van},
  title = 	 {On the Expressiveness of Higher Dimensional Automata
                  (extended abstract)},
  journal = 	 {Electronic Notes in Theoretical Computer Science},
  year = 	 {2005},
  volume = 	 {128},
  pages = 	 {5-34},
  month = 	 {April},
  number = 	 {2): Proceedings of the 11th International Workshop on
                  {\sl Expressiveness in Concurrency} (EXPRESS'04},
  doi =          "10.1016/j.entcs.2004.11.026",
  URL =          "http://theory.stanford.edu/~rvg/abstracts.html#56",
}

57.

@Article(HvG,
        Author="Hughes, D.J.D. and Glabbeek, R.J. van",
        Title="Proof Nets for Unit-free Multiplicative-Additive Linear Logic",
        Journal="ACM Transactions on Computational Logic",
        Volume=6,
        Number=4,
        Pages="784-842",
        Year=2005,
        DOI="10.1145/1094622.1094629",
        URL="http://theory.stanford.edu/~rvg/abstracts.html#57",
        )

58.

@InProceedings{vG05b,
  author = 	 {Glabbeek, R.J. van},
  title = 	 {On Cool Congruence Formats for Weak Bisimulations (extended abstract)},
  booktitle =	 {{\rm Proceedings} International Colloquium on Theoretical Aspects of Computing, {\rm ICTAC'05, Hanoi, Vietnam}},
  year =	 2005,
  editor =	 {D.V. Hung and M. Wirsing},
  volume =	 3722,
  series =	 lncs,
  publisher =	 springer,
  pages =        {318-333},
  doi =          {10.1007/11560647\_21},
  URL =          {http://theory.stanford.edu/~rvg/abstracts.html#58},
}

59.

@InProceedings{vG05c,
  author = 	 {Glabbeek, R.J. van},
  title = 	 {The Individual and Collective Token Interpretations of Petri Nets },
  booktitle = 	 {{\rm Proceedings} CONCUR'05, {\rm 16$^{\it th}$
                  International Conference on} Concurrency Theory, {\rm
 		  San Francisco, USA, August 2005}},
  pages =	 {323-337},
  year =	 2005,
  editor =	 {M. Abadi and L. de Alfaro},
  volume =	 3653,
  series =	 lncs,
  publisher =	 springer,
  doi =          {10.1007/11539452\_26},
  URL =          {http://theory.stanford.edu/~rvg/abstracts.html#59},
}

60.

@InProceedings{vG05d,
  author = 	 {Glabbeek, R.J. van},
  title = 	 {On Specifying Timeouts},
  booktitle =	 {{\rm Short Contributions from the Workshop on} Algebraic Process Calculi: The First Twenty Five Years and Beyond, {\rm PA '05, Bertinoro, Italy, August 2005}},
  pages =	 {112-113},
  year =	 2005,
  editor =	 {L. Aceto and A.D. Gordon},
  volume =	 162,
  series =	 {Electronic Notes in Theoretical Computer Science},
  publisher =	 {Elsevier},
  doi =          {10.1016/j.entcs.2005.12.083},
  URL =          {http://theory.stanford.edu/~rvg/abstracts.html#60},
}

61.

@article{FGW06,
  author =       "W.J. Fokkink and Glabbeek, R.J. van and Wind, P. de",
  title = 	 {Compositionality of {Hennessy-Milner} Logic by
		  Structural Operational Semantics},
  year = 	 {2006},
  journal =      "Theoretical Computer Science",
  pages = 	 {421-440},
  volume =       354,
  number =       3,
  doi =          "10.1016/j.tcs.2005.11.035",
  URL =          "http://theory.stanford.edu/~rvg/abstracts.html#61",
}

62.

@InProceedings{FGW06a,
  author =       "W.J. Fokkink and Glabbeek, R.J. van and Wind, P. de",
  title = 	 {Divide and Congruence Applied to $\eta$-Bisimulation},
  booktitle = 	 {{\rm Proceedings of the Second Workshop on}
                  Structural Operational Semantics, {\rm SOS'05,
		  Lisbon, Portugal}},
  editor = 	 {P.D. Mosses and I. Ulidowski},
  volume = 	 {156(1)},
  series =	 {Electronic Notes in Theoretical Computer Science},
  publisher =	 {Elsevier},
  doi =          {10.1016/j.entcs.2005.10.029},
  pages = 	 {97-113},
  URL =          "http://theory.stanford.edu/~rvg/abstracts.html#62",
  year =         2006,
}

63.

@Article{vG06,
  author = 	 {Glabbeek, R.J. van},
  title = 	 {On the Expressiveness of Higher Dimensional Automata},
  journal = 	 {Theoretical Computer Science},
  year = 	 {2006},
  volume =	 {368},
  number =	 {1-2},
  pages =	 {169-194},
  doi =          {10.1016/j.tcs.2006.06.024},
  URL =          "http://theory.stanford.edu/~rvg/abstracts.html#63",
}

x.

@InProceedings{vG05a,
  author = 	 {Glabbeek, R.J. van},
  title = 	 {Higher-Dimensional Automata and Other Models of Concurrency},
  booktitle =	 {{\rm Preliminary Proceedings of the Workshop on}
                 Geometry and Topology in Concurrency,
                 {\rm GETCO '05, San Francisco, USA, August 2005}},
  pages =	 {1},
  year =	 {2005},
  editor =	 {P. Cousot and L. Fajstrup and E. Goubault and M. Herlihy and K.G. Larsen and M. Rauen},
  volume =	 {NS-05-5},
  series =	 {BRICS Note},
  address = 	 {Denmark},
  organization = {Department of Computer Science, University of Aarhus},
  URL =          "http://theory.stanford.edu/~rvg/abstracts.html#x",
}

64.

@InProceedings{FGW06b,
  author =       "W.J. Fokkink and Glabbeek, R.J. van and Wind, P. de",
  title = 	 {Divide and Congruence: From Decomposition of Modalities to Preservation of Branching Bisimulation},
  booktitle = 	 {{\rm Revised Lectures Fourth International Symposium on}
                 Formal Methods for Components and Objects,
                 {\rm FMCO '05, Amsterdam, The Netherlands, November 2005}},
  editor = 	 {F.S. de Boer and M.M. Bonsangue and S. Graf and W.-P. de Roever},
  volume = 	 {4111},
  series =	 lncs,
  publisher =	 springer,
  doi =          {10.1007/11804192},
  pages = 	 {195-218},
  URL =          "http://theory.stanford.edu/~rvg/abstracts.html#64",
  year =         2006,
}

65.

@InProceedings{vG05e,
  author = 	 {Glabbeek, R.J. van},
  title = 	 {A Characterisation of Weak Bisimulation Congruence},
  booktitle =	 {Processes, Terms and Cycles: Steps on the Road to Infinity: Essays Dedicated to Jan Willem Klop on the Occasion of His 60th Birthday},
  pages =	 {26-39},
  year =	 {2005},
  editor =	 {A. Middeldorp and V. van Oostrom and F. van Raamsdonk and R. de Vrijer},
  volume =	 {3838},
  series =	 lncs,
  publisher =	 springer,
  doi =          {10.1007/11601548\_4},
  URL =          "http://theory.stanford.edu/~rvg/abstracts.html#65",
}

66.

@inproceedings{GV06,
  author    = {Glabbeek, R.J. van and M. Voorhoeve},
  title     = {Liveness, Fairness and Impossible Futures},
  booktitle = 	 {{\rm Proceedings} CONCUR'06, {\rm 17$^{\it th}$
                  International Conference on} Concurrency Theory, {\rm
		  Bonn, Germany, August 2006}},
  year      = {2006},
  pages     = {126-141},
  doi       = {10.1007/11817949\_9},
  editor    = {C. Baier and H. Hermanns},
  publisher = {Springer},
  series    = lncs,
  volume    = {4137},
  URL       = "http://theory.stanford.edu/~rvg/abstracts.html#66",
}

67.

@Article{GLT09b,
  author = 	 {Glabbeek, R.J. van and B. Luttik and N. Tr\v{c}ka},
  title = 	 {Branching Bisimilarity with Explicit Divergence },
  journal = 	 {Fundamenta Informaticae},
  year = 	 2009,
  volume = 	 93,
  number = 	 4,
  pages = 	 {371-392},
  doi =          {10.3233/FI-2009-109},
  URL       = "http://theory.stanford.edu/~rvg/abstracts.html#67",
}

68.                  

@Proceedings{GM06,
  title = 	 {{\rm Proceedings of the 3rd Workshop on}
                  Structural Operational Semantics,
                  {\rm Bonn, Germany, 26 August 2006}},
  year = 	 2006,
  series =	 {Electronic Notes in Theoretical Computer Science},
  publisher =	 {Elsevier},
  editor = 	 {Glabbeek, R.J. van and P.D. Mosses},
  volume = 	 "175(1)",
  URL       = "http://theory.stanford.edu/~rvg/abstracts.html#68",
}                  

@Article{GM06a,
  author = 	 {Glabbeek, R.J. van and P.D. Mosses},
  doi =          {10.1016/j.entcs.2006.11.016},
  title =        {Preface {\rm Proceedings of the 3rd Workshop on}
                  Structural Operational Semantics,
                  {\rm Bonn, Germany, 26 August 2006}},
  pages = 	 {1-2},
  year = 	 2006,
  editor = 	 {Glabbeek, R.J. van and P.D. Mosses},
  volume = 	 {175},
  number =       1,
  journal =	 {Electronic Notes in Theoretical Computer Science},
  publisher =	 {Elsevier},
  URL       = "http://theory.stanford.edu/~rvg/abstracts.html#68",
}

69.

@InCollection{DGHMZ07,
  author = 	 {Y. Deng and Glabbeek, R.J. van
                  and M. Hennessy and C.C. Morgan and C. Zhang},
  title = 	 {Remarks on Testing Probabilistic Processes },
  booktitle = 	 {Computation, Meaning, and Logic: Articles dedicated to Gordon Plotkin},
  pages = 	 {359-397},
  series =	 {Electronic Notes in Theoretical Computer Science},
  publisher =	 {Elsevier},
  year = 	 2007,
  editor = 	 {L. Cardelli and M. Fiore and G. Winskel},
  volume = 	 172,
  doi =          {10.1016/j.entcs.2007.02.013},
  URL       = "http://theory.stanford.edu/~rvg/abstracts.html#69",
}

70.                  

@InProceedings{DGMZ07,
  author = 	 {Y. Deng and Glabbeek, R.J. van
                  and C.C. Morgan and C. Zhang},
  title = 	 {Scalar Outcomes Suffice for Finitary Probabilistic Testing},
  booktitle =    {{\rm Proceedings 16th} European Symposium on Programming,
                  {\rm ESOP'07, Braga, Portugal, 24 March - 1 April, 2007}},
  pages = 	 {363-378},
  year = 	 2007,
  editor = 	 {R. De Nicola},
  volume = 	 4421,
  series = 	 lncs,
  publisher =    springer,
  doi =          {10.1007/978-3-540-71316-6\_25},
  URL       = "http://theory.stanford.edu/~rvg/abstracts.html#70",
}

71.
                  
@InProceedings{DGHMZ07a,
  author = 	 {Y. Deng and Glabbeek, R.J. van
                  and M. Hennessy and C.C. Morgan and C. Zhang},
  title = 	 {Characterising Testing Preorders
                  for Finite Probabilistic Processes},
  booktitle =    {{\rm Proceedings 22nd Annual IEEE Symposium on}
                  Logic in Computer Science,
                  {\rm LICS'07, Wroclaw, Poland, July 2007}},
  pages = 	 {313-322},
  year = 	 2007,
  publisher =    {IEEE Computer Society Press},
  doi =          {10.1109/LICS.2007.15},
  URL       = "http://theory.stanford.edu/~rvg/abstracts.html#71",
}

72.

@Proceedings{GH07,
  title = 	 {{\rm Proceedings of the 4th Workshop on}
                  Structural Operational Semantics,
                  {\rm Wroclaw, Poland, 9 July 2007}},
  year = 	 2006,
  series =	 {Electronic Notes in Theoretical Computer Science},
  publisher =	 {Elsevier},
  editor = 	 {Glabbeek, R.J. van and M. Hennessy},
  volume = 	 "192(1)",
  URL       = "http://theory.stanford.edu/~rvg/abstracts.html#72",
}

@Article{GH07a,
  author = 	 {Glabbeek, R.J. van and M. Hennessy},
  doi =          {10.1016/j.entcs.2007.10.001},
  title =        {Preface {\rm Proceedings of the 4th Workshop on}
                  Structural Operational Semantics,
                  {\rm Wroclaw, Poland, 9 July 2007}},
  pages = 	 {1-3},
  year = 	 2007,
  editor = 	 {Glabbeek, R.J. van and M. Hennessy},
  volume = 	 {192},
  number =       1,
  journal =	 {Electronic Notes in Theoretical Computer Science},
  publisher =	 {Elsevier},
  URL       = "http://theory.stanford.edu/~rvg/abstracts.html#72",
}

73.

@article{GLT09a,
  author    = {Glabbeek, R.J. van and B. Luttik and N. Tr\v{c}ka},
  title     = {Computation Tree Logic with Deadlock Detection},
  journal   = {Logical Methods in Computer Science},
  volume    = {5},
  number    = {4},
  year      = {2009},
  NOee        = {http://arxiv.org/abs/0912.2109},
  doi       = {10.2168/LMCS-5(4:5)2009},
  URL       = "http://theory.stanford.edu/~rvg/abstracts.html#73",
}

74.

@InProceedings{GP08,
  author = 	 {Glabbeek, R.J. van and B. Ploeger},
  title = 	 {Correcting a Space-Efficient Simulation Algorithm},
  booktitle = {{\rm Proceedings 20th International Conference on}
                  Computer Aided Verification
                  {\rm (CAV'08), Princeton, USA, July 2008}},
  pages = 	 {517-529},
  year = 	 2008,
  editor = 	 {A. Gupta and S. Malik},
  volume = 	 5123,
  series = 	 lncs,
  publisher =    springer,
  doi =          {10.1007/978-3-540-70545-1\_49},
  URL       = "http://theory.stanford.edu/~rvg/abstracts.html#74",
}

@TechReport{GP08a,
  author = 	 {Glabbeek, R.J. van and B. Ploeger},
  title = 	 {Correcting a Space-Efficient Simulation Algorithm},
  institution =  {Eindhoven University of Technology},
  year = 	 2008,
  type = 	 {CS-Report},
  number = 	 {08-06},
  URL       = "http://theory.stanford.edu/~rvg/abstracts.html#74",
  note =         "Extended abstract in A. Gupta \& S. Malik, editors:
                  Proceedings 20th International Conference on
                  {\sl Computer Aided Verification}
                  (CAV'08), Princeton, USA, July 2008,
                  LNCS 5123, Springer, pp. 517--529, doi:
                 \urlalt{http://dx.doi.org/10.1007/978-3-540-70545-1\_49}
                 {10.1007/978-3-540-70545-1\_49}",
}

75.

@InProceedings{GP08b,
  author = 	 {Glabbeek, R.J. van and B. Ploeger},
  title = 	 {Five Determinisation Algorithms},
  booktitle = {{\rm Proceedings Thirteenth International Conference on}
                  Implementation and Application of Automata {\rm (CIAA'08),
                  San Francisco, California, USA, July 2008}},
  pages = 	 {161-170},
  year = 	 2008,
  editor = 	 {O.H. Ibarra and B. Ravikumar},
  volume = 	 5148,
  series = 	 lncs,
  publisher =    springer,
  doi =          {10.1007/978-3-540-70844-5\_17},
  URL       = "http://theory.stanford.edu/~rvg/abstracts.html#75",
}

@TechReport{GP08c,
  author = 	 {Glabbeek, R.J. van and B. Ploeger},
  title = 	 {Five Determinisation Algorithms},
  institution =  {Eindhoven University of Technology},
  year = 	 2008,
  type = 	 {CS-Report},
  number = 	 {08-14},
  URL       = "http://theory.stanford.edu/~rvg/abstracts.html#75",
  note =         "Extended abstract in A. Gupta \& S. Malik, editors:
                  Proceedings Thirteenth International Conference on
                  {\sl Implementation and Application of Automata} (CIAA'08),
                  San Francisco, California, USA, July 2008,
                  LNCS 5148, Springer, pp. 161--170, doi:
                 \urlalt{http://dx.doi.org/10.1007/978-3-540-70844-5\_17}
                 {10.1007/978-3-540-70844-5\_17}",         
}

76.

@Article{GM09,
  author = 	 {Glabbeek, R.J. van and P.D. Mosses},
  title = 	 {Preface, Special Issue on Structural Operational Semantics},
  journal = 	 {Information and Computation},
  year = 	 2009,
  volume = 	 207,
  number = 	 2,
  pages = 	 {83-84},
  doi =          {10.1016/j.ic.2008.10.006},
  URL       = "http://theory.stanford.edu/~rvg/abstracts.html#76",
}
                  
77.

@TechReport{GGS08a,
  author =       "Glabbeek, R.J. van and U. Goltz and J.-W. Schicke",
  title = 	 {Symmetric and Asymmetric Asynchronous Interaction},
  institution =  {Technical University of Braunschweig},
  year = 	 2008,
  number = 	 {2008-03},
  url =          "http://arxiv.org/abs/0901.0043",
  note =         "Extended abstract in:
                  F. Bonchi, D. Grohmann, P. Spoletini, A. Troina \& E. Tuosto, editors:
                  Proceedings of the First {\sl Interaction and Concurrency Experience}
                  (ICE'08), ENTCS 229(3), pp. 77-95"
}
                  
@InProceedings{GGS08b,
  author =       "Glabbeek, R.J. van and U. Goltz and J.-W. Schicke",
  title = 	 {Symmetric and Asymmetric Asynchronous Interaction},
  year = 	 2009,
  number = 	 {229(3)},
  URL       = "http://theory.stanford.edu/~rvg/abstracts.html#77",
  booktitle =    {{\rm Proceedings of the}
                  First Interaction and Concurrency Experience
                  {\rm (ICE'08)}},
  pages = 	 {77-95},
  editor = 	 {F. Bonchi and D. Grohmann and P. Spoletini and A. Troina and E. Tuosto},
  series = 	 {Electronic Notes in Theoretical Computer Science},
  publisher = {Elsevier},
  doi =          {10.1016/j.entcs.2009.06.040},
}

78.

@TechReport{GGS08c,
  author =       "Glabbeek, R.J. van and U. Goltz and J.-W. Schicke",
  title = 	 {On Synchronous and Asynchronous Interaction in Distributed Systems},
  institution =  {Technical University of Braunschweig},
  year = 	 2008,
  number = 	 {2008-04},
  url =          "http://arxiv.org/abs/0901.0048",
  note =         "Extended abstract in:
                  E. Ochma\'nski \& J. Tyszkiewicz, editors:
                  Proceedings 33rd International Symposium on
                  {\sl Mathematical Foundations of Computer Science}
                  (MFCS'08), Toru\'n, Poland, August 2008,
                  LNCS 5162, Springer, pp. 16--35"
}
                  
@InProceedings{GGS08d,
  author =       "Glabbeek, R.J. van and U. Goltz and J.-W. Schicke",
  title = 	 {On Synchronous and Asynchronous Interaction in Distributed Systems},
  year = 	 2008,
  number = 	 {5162},
  URL       =    "http://theory.stanford.edu/~rvg/abstracts.html#78",
  booktitle =    {{\rm Proceedings 33rd International Symposium on}
                  Mathematical Foundations of Computer Science
                  {\rm (MFCS'08), Toru\'n, Poland, August 2008}},
  pages = 	 {16-35},
  editor = 	 {E. Ochma\'nski and J. Tyszkiewicz},
  series = 	 lncs,
  publisher =    springer,
  doi =          {10.1007/978-3-540-85238-4\_2},
}

79.

@article{DGHM08,
  author    = {Y. Deng and Glabbeek, R.J. van and M. Hennessy and C.C. Morgan},
  title     = {Characterising Testing Preorders for Finite Probabilistic
               Processes},
  journal   = {Logical Methods in Computer Science},
  volume    = {4},
  number    = {4},
  eid       = {4},
  year      = {2008},
  doi       = {10.2168/LMCS-4(4:4)2008},
  URL       = "http://theory.stanford.edu/~rvg/abstracts.html#79",
}

80.

@article{CFG08,
  author    = {T. Chen and W.J. Fokkink and Glabbeek, R.J. van},
  title     = {Ready to preorder: The case of weak process semantics},
  journal   = {Information Processing Letters},
  volume    = {109},
  number    = {2},
  year      = {2008},
  pages     = {104-111},
  doi        = {10.1016/j.ipl.2008.09.003},
  URL       = "http://theory.stanford.edu/~rvg/abstracts.html#80",
}

81.

@inproceedings{CFG09,
  author    = {T. Chen and W.J. Fokkink and Glabbeek, R.J. van},
  title     = {On Finite Bases for Weak Semantics: Failures Versus Impossible
               Futures},
  year      = {2009},
  pages     = {167-180},
  editor    = {M. Nielsen and
               A. Kucera and
               P.B. Miltersen and
               C. Palamidessi and
               P. Tuma and
               F.D. Valencia},
  booktitle     = {{\rm Proceedings 35th Conference on Current Trends in}
               Theory and Practice of Computer Science {\rm (SOFSEM), 
               \v{S}pindler\r{u}v Ml{\'y}n, Czech Republic, January 24-30, 2009}},
  publisher = springer,
  series    = lncs,
  volume    = {5404},
  doi        = {10.1007/978-3-540-95891-8\_18},
  URL       = "http://theory.stanford.edu/~rvg/abstracts.html#81",
}

@misc{CFG08a,
  author    = {T. Chen and W.J. Fokkink and Glabbeek, R.J. van},
  title     = {On Finite Bases for Weak Semantics: Failures Versus Impossible
               Futures},
  year      = {2008},
  url =       "http://arxiv.org/abs/0810.4904",
  Note      = "Extended abstract in
               M. Nielsen,
               A. Kucera,
               P.B. Miltersen,
               C. Palamidessi,
               P. Tuma \&
               F.D. Valencia, editors: Proceedings 35th Conference on
               {\sl Current Trends in Theory and Practice of Computer Science} (SOFSEM), 
               \v{S}pindler\r{u}v Ml{\'y}n, Czech Republic, January 24-30, 2009,
               LNCS 5404, Springer, pp. 167-180"
}

82.
                  
@article{GP09,
  author    = {Glabbeek, R.J. van and G.D. Plotkin},
  title     = {Configuration structures, event structures and Petri nets},
  journal   = {Theoretical Computer Science},
  volume    = {410},
  number    = {41},
  year      = {2009},
  pages     = {4111-4159},
  doi       = {10.1016/j.tcs.2009.06.014},
  url       = {http://arxiv.org/abs/0912.4023}
}

83.

@inproceedings{DGHM09,
  author    = {Y. Deng and Glabbeek, R.J. van and M. Hennessy and C.C. Morgan},
  title     = {Testing Finitary Probabilistic Processes (extended abstract)},
  year      = {2009},
  pages     = {274-288},
  doi       = {10.1007/978-3-642-04081-8\_19},
  editor    = {M. Bravetti and G. Zavattaro},
  booktitle = {{\rm Proceedings 20th International Conference on} Concurrency Theory
               {\rm (CONCUR'09), Bologna, Italy, September 1-4, 2009}},
  publisher = springer,
  series    = lncs,
  volume    = {5710},
  URL       = "http://theory.stanford.edu/~rvg/abstracts.html#83",
}
                  
xi.

@Misc{vG09,
  author =       "Glabbeek, R.J. van",
  title =        "The Linear Time – Branching Time Spectrum after 20 years
                  {\rm or} Full abstraction for safety and liveness properties",
  year =         "2009",
  howpublished = "Copies of slides. Invited talk for IFIP WG 1.8 at CONCUR'09 in Bologna",
  URL       = "http://theory.stanford.edu/~rvg/abstracts.html#20years",
}

84.

@InCollection{GP10,
  author    = {Glabbeek, R.J. van and G.D. Plotkin},
  title = 	 {On {CSP} and the Algebraic Theory of Effects},
  booktitle = {Reflections on the Work of C.A.R. Hoare},
  pages = 	 {333-369},
  year = 	 2010,
  editor = 	 {C.B. Jones and A.W. Roscoe and K.R. Wood},
  series = 	 {History of Computing},
  publisher = springer,
  doi =       {10.1007/978-1-84882-912-1\_15},
  URL       = "http://arxiv.org/abs/1007.5488",
}

85.

@inproceedings{vG10,
  author    = {Glabbeek, R.J. van},
  title     = {The Coarsest Precongruences Respecting Safety and Liveness
               Properties},
  year      = {2010},
  pages     = {32-52},
  doi       = {10.1007/978-3-642-15240-5_3},
  editor    = {C.S. Calude and V. Sassone},
  booktitle = {{\rm Proceedings 6th IFIP TC 1/WG 2.2 International
               Conference on} Theoretical Computer Science
               {\rm (TCS'10); held as part of the {\sl World Computer Congress} 2010, Brisbane,
               Australia, September 20-23, 2010}},
  publisher = springer,
  series    = {IFIP},
  volume    = {323},
  url       = {http://arxiv.org/abs/1007.5491}
}

86.

@inproceedings{DG10,
  author    = {Y. Deng and Glabbeek, R.J. van},
  title     = {Characterising Probabilistic Processes Logically (extended
               abstract)},
  year      = {2010},
  pages     = {278-293},
  doi       = {10.1007/978-3-642-16242-8\_20},
  editor    = {C.G. Ferm{\"u}ller and A. Voronkov},
  booktitle = {{\rm Proceedings 17th International Conference on}
               Logic for Programming, Artificial Intelligence, and Reasoning
               {\rm (LPAR-17), Yogyakarta, Indonesia, October 10-15, 2010}},
  publisher = springer,
  series    = lncs,
  volume    = {6397},
  URL       = "http://theory.stanford.edu/~rvg/abstracts.html#86",
}

@misc{DG10a,
  author    = {Y. Deng and Glabbeek, R.J. van},
  title     = {Characterising Probabilistic Processes Logically},
  year      = {2010},
  url       = {http://arxiv.org/abs/1007.5188},                
  note      = {Extended abstract in C.G. Ferm\"uller \& A. Voronkov, editors:
               Proceedings 17th International Conference on {\sl Logic
               for Programming, Artificial Intelligence and Reasoning}
               (LPAR), Yogyakarta, Indonesia, October 2010, LNCS 6397,
               Springer, 2010, pp. 278-293.}
}

87.

@Inproceedings{DGHM11,
  author    = "Y. Deng and Glabbeek, R.J. van and M. Hennessy and C.C. Morgan",
  year      = "2011",
  title     = "Real-Reward Testing for Probabilistic Processes (extended abstract)",
  editor    = "M. Massink and G. Norman",
  booktitle = "{\rm Proceedings Ninth Workshop on}
               Quantitative Aspects of Programming Languages,
               {\rm Saarbr\"ucken, Germany, April 1-3, 2011}",
  series    = "Electronic Proceedings in Theoretical Computer Science",
  volume    = "57",
  publisher = "Open Publishing Association",
  pages     = "61-73",
  doi       = "10.4204/EPTCS.57.5",
}

88.

@article{vG11,
  author    = {Glabbeek, R.J. van},
  title     = {On Cool Congruence Formats for Weak Bisimulations},
  journal   = {Theoretical Computer Science},
  volume    = {412},
  number    = {28},
  year      = {2011},
  pages     = {3283-3302},
  doi       = {10.1016/j.tcs.2011.02.036},
  url       = {http://theory.stanford.edu/~rvg/abstracts.html#88},
}

89.

@article{GGS11,
  author    = "Glabbeek, R.J. van and U. Goltz and J.-W. Schicke",
  title     = {Abstract Processes of Place/Transition Systems},
  year      = {2011},
  ee        = {http://arxiv.org/abs/1103.5916},
  journal   = {Information Processing Letters},
  volume    = {111},
  number    = {13},
  pages     = {626-633},
  doi       = {10.1016/j.ipl.2011.03.013},
}

90.

@inproceedings{GGS11a,
  author    = "Glabbeek, R.J. van and U. Goltz and J.-W. Schicke",
  title     = {On Causal Semantics of Petri Nets (extended abstract)},
  pages     = {43-59},
  doi       = {10.1007/978-3-642-23217-6\_4},
  editor    = {J.-P. Katoen and B. K\"onig},
  booktitle = {{\rm Proceedings 22nd International Conference on}
               Concurrency Theory,
               {\rm CONCUR'11, Aachen, Germany, September 2011}},
  publisher = springer,
  series    = lncs,
  volume    = {6901},
  year      = {2011},
  isbn      = {978-3-642-23216-9},
  url       = {http://theory.stanford.edu/~rvg/abstracts.html#90},
}

@TechReport{GGS11b,
  author    = "Glabbeek, R.J. van and U. Goltz and J.-W. Schicke",
  title     = {On Causal Semantics of Petri Nets},
  institution =  {Institut f\"ur Programmierung und Reaktive Systeme, TU Braunschweig},
  year = 	 2011,
  type = 	 {Informatik Bericht},
  number = 	 {Nr.~2011-06},
  address = 	 {Germany},
  note = 	 {Extended abstract in J.-P. Katoen and B. K\"onig, editors:
                 {\sl {\rm Proceedings 22nd International Conference on}
                  Concurrency Theory,
                  {\rm CONCUR'11, Aachen, Germany, September 2011}},
                  LNCS 6901, Springer, 2011, pp. 43-59.},
  url       = {http://theory.stanford.edu/~rvg/abstracts.html#90},
}

91.

@inproceedings{FGHMPT11,
  author    = {A. Fehnker and
               R.J. van Glabbeek and
               P. H{\"o}fner and
               A.K. McIver and
               M. Portmann and
               W.L. Tan},
  title     = {Modelling and Analysis of AODV in UPPAAL},
  booktitle = {{\rm Proceedings 1st International Workshop on}
               Rigorous Protocol Engineering, {\rm WRiPE'11}},
  year      = {2011},
  NOurl     = {http://wripe11.cis.upenn.edu/program/papers/wripe11-paper10.pdf},
  url       = {http://theory.stanford.edu/~rvg/abstracts.html#91},
}

92.

@article{FGW12,
  author    = "W.J. Fokkink and Glabbeek, R.J. van and Wind, P. de",
  title     = {Divide and congruence: From decomposition of modal formulas
               to preservation of branching and $\eta$-bisimilarity},
  journal   = {Information and Computation},
  volume    = {214},
  year      = {2012},
  pages     = {59-85},
  doi       = {10.1016/j.ic.2011.10.011},
  url       = {http://theory.stanford.edu/~rvg/abstracts.html#92},
}

93.

@inproceedings{FGHMPT12a,
  author    = {A. Fehnker and
               R.J. van Glabbeek and
               P. H{\"o}fner and
               A.K. McIver and
               M. Portmann and
               W.L. Tan},
  title     = {A Process Algebra for Wireless Mesh Networks},
  year      = {2012},
  pages     = {295-315},
  doi       = {10.1007/978-3-642-28869-2_15},
  editor    = {H. Seidl},
  booktitle = {Programming Languages and Systems:
               {\rm Proceedings 21st} European Symposium on Programming,
               {\rm ESOP'12; held as part of the} European
               Joint Conferences on Theory and Practice of Software,
               {\rm ETAPS'12, Tallinn, Estonia, March/April 2012}},
  publisher = springer,
  series    = lncs,
  volume    = {7211},
  isbn      = {978-3-642-28868-5},
  url       = {http://theory.stanford.edu/~rvg/abstracts.html#93},
}

94.

@inproceedings{FGHMPT12b,
  author    = {A. Fehnker and
               R.J. van Glabbeek and
               P. H{\"o}fner and
               A.K. McIver and
               M. Portmann and
               W.L. Tan},
  title     = {Automated Analysis of AODV Using UPPAAL},
  pages     = {173-187},
  doi       = {10.1007/978-3-642-28756-5_13},
  editor    = {C. Flanagan and
               B. K{\"o}nig},
  booktitle = {{\rm Proceedings 18th International Conference on}
               Tools and Algorithms for the Construction and Analysis of
               Systems, {\rm TACAS'12; held as part of the} European
               Joint Conferences on Theory and Practice of Software,
               {\rm ETAPS'12, Tallinn, Estonia, March/April 2012}},
  publisher = springer,
  series    = lncs,
  volume    = {7214},
  year      = {2012},
  isbn      = {978-3-642-28755-8},
  url       = {http://theory.stanford.edu/~rvg/abstracts.html#94},
}

95.

@inproceedings{GGS12,
  author    = "Glabbeek, R.J. van and U. Goltz and J.-W. Schicke-Uffmann",
  title     = {On Distributability of Petri Nets (extended abstract)},
  pages     = {331-345},
  doi       = {10.1007/978-3-642-28729-9_22},
  editor    = {L. Birkedal},
  booktitle = {{\rm Proceeding 15th International Conference on}
               Foundations of Software Science and Computational Structures,
               {\rm FoSSaCS'12; held as part of the} European
               Joint Conferences on Theory and Practice of Software,
               {\rm ETAPS'12, Tallinn, Estonia, March/April 2012}},
  publisher = springer,
  series    = lncs,
  volume    = {7213},
  year      = {2012},
  isbn      = {978-3-642-28728-2},
  url       = {http://theory.stanford.edu/~rvg/abstracts.html#95},
}

@TechReport{GGS12a,
  author    = "Glabbeek, R.J. van and U. Goltz and J.-W. Schicke-Uffmann",
  title     = {On Distributability of Petri Nets},
  institution =  {Institut f\"ur Programmierung und Reaktive Systeme, TU Braunschweig},
  year = 	 2012,
  type = 	 {Informatik Bericht},
  number = 	 {Nr.~2011-10},
  address = 	 {Germany},
  note =       "Extended abstract in L. Birkedal, editor:
               {\sl {\rm Proceeding 15th International Conference on}
               Foundations of Software Science and Computational Structures,
               {\rm FoSSaCS'12; held as part of the} European
               Joint Conferences on Theory and Practice of Software,
               {\rm ETAPS'12, Tallinn, Estonia, March/April 2012}},
               LNCS 7213, Springer, 2012, pp. 331-345",
  publisher = springer,
  ee        = {http://arxiv.org/abs/1207.3597},
}

96.

@Article{HG12,
  author = 	 {P. H{\"o}fner and Glabbeek, R.J. van and I.J. Hayes},
  title = 	 {Preface---{Morgan}: a suitable case for treatment},
  journal = 	 {Formal Aspects of Computing},
  year = 	 2012,
  volume = 	 24,
  number = 	 {4--6},
  pages = 	 {417-422},
  month = 	 {July},
  doi =          {10.1007/s00165-012-0257-0},
  url =          {http://theory.stanford.edu/~rvg/abstracts.html#96},
  note = 	 {Festschrift, Celebrating the 60th Birthday of Carroll Morgan}
}

97.

@InProceedings{HGTPMF12,
  author    = {P. H{\"o}fner and
               R.J. van Glabbeek and
               W.L. Tan and
               M. Portmann and
               A.K. McIver and
               A. Fehnker},
  title = 	 {A Rigorous Analysis of AODV and its Variants},
  url =          {http://theory.stanford.edu/~rvg/abstracts.html#97},
  year      = {2012},
  pages     = {203-212},
  doi       = {10.1145/2387238.2387274},
  editor    = {A.Y. Zomaya and
               B. Landfeldt and
               R. Prakash},
  booktitle     = {{\rm Proceedings 15th ACM International Conference on}
               Modeling, Analysis and Simulation of Wireless and Mobile Systems,
               {\rm MSWiM '12, Paphos, Cyprus, October 2012}},
  publisher = {ACM},
  isbn      = {978-1-4503-1628-6},
}
                  
98.

@Inproceedings{vG12,
  author    = "Glabbeek, R.J. van",
  year      = "2012",
  title     = "Musings on Encodings and Expressiveness",
  editor    = "Luttik, B. and Reniers, M.A.",
  booktitle = "{\rm Proceedings Combined 19th International Workshop on}
               Expressiveness in Concurrency {\rm and 9th Workshop on} Structured Operational Semantics,
               {\rm Newcastle upon Tyne, UK, September 3, 2012}",
  series    = "Electronic Proceedings in Theoretical Computer Science",
  volume    = "89",
  publisher = "Open Publishing Association",
  pages     = "81-98",
  doi       = "10.4204/EPTCS.89.7",
}

99.

@Article{DGHM14,
  author    = "Y. Deng and Glabbeek, R.J. van and M. Hennessy and C.C. Morgan",
  title  =       "Real-Reward Testing for Probabilistic Processes",
  journal = 	 {Theoretical Computer Science},
  year = 	 2014,
  volume = 	 538,
  pages = 	 {16-36},
  doi = 	 {10.1016/j.tcs.2013.07.016},
  url       = {http://theory.stanford.edu/~rvg/abstracts.html#99},
}

100.

@InProceedings{GHTP13,
  author    = {Glabbeek, R.J. van and
               P. H{\"o}fner and
               W.L. Tan and
               M. Portmann},
  title = 	 {Sequence Numbers Do Not Guarantee Loop Freedom ---AODV Can Yield Routing Loops---},
  url =          {http://theory.stanford.edu/~rvg/abstracts.html#100},
  year      = {2013},
  pages     = {91-100},
  doi       = {10.1145/2507924.2507943},
  booktitle     = {{\rm Proceedings 16th ACM International Conference on}
               Modeling, Analysis and Simulation of Wireless and Mobile Systems,
               {\rm MSWiM '13, Barcelona, Spain, November 2013}},
  publisher = {ACM},
  isbn      = {978-1-4503-1628-6},
}
                  
101.

@Article{GGS13,
  author    = "Glabbeek, R.J. van and U. Goltz and J.-W. Schicke-Uffmann",
  title     = {On Characterising Distributability},
  journal   = {Logical Methods in Computer Science},
  year = 	 2013,
  volume = 	 9,
  number = 	 3,
  eid = 	 17,
  doi = 	 {10.2168/LMCS-9(3:17)2013},
  url =       {http://arxiv.org/abs/1309.3883},
  abs       = {http://theory.stanford.edu/~rvg/abstracts.html#101},
}

102.

@TechReport{FGHMPT13,
  author    = {A. Fehnker and
               R.J. van Glabbeek and
               P. H{\"o}fner and
               A.K. McIver and
               M. Portmann and
               W.L. Tan},
  title = 	 {A Process Algebra for Wireless Mesh Networks used for Modelling, Verifying and Analysing AODV},
  institution =  {NICTA},
  year = 	 {2013},
  number = 	 {5513},
  address = 	 {Sydney, Australia},
  month = 	 {December},
  url       = {http://arxiv.org/abs/1312.7645},
}

103.

@inproceedings{BGH14a,
  author    = {T. Bourke and
               R.J. van Glabbeek and
               P. H{\"o}fner},
  title     = {Showing Invariance Compositionally for a Process Algebra
               for Network Protocols},
  year      = {2014},
  pages     = {144-159},
  doi       = {10.1007/978-3-319-08970-6\_10},
  editor    = {G. Klein and
               R. Gamboa},
  booktitle = {{\rm Proceedings 5th International Conference on}
               Interactive Theorem Proving,
               {\rm ITP'14; held as part of the} Vienna Summer of Logic,
               {\rm VSL'14, Vienna, Austria, July 2014}},
  publisher = springer,
  series    = lncs,
  volume    = {8558},
  isbn      = {978-3-319-08969-0},
  bibsource = {DBLP, http://dblp.uni-trier.de},
  url       = {http://arxiv.org/abs/1407.3519},
  abs       = {http://theory.stanford.edu/~rvg/abstracts.html#103},
}

104.

@inproceedings{BGH14b,
  author    = {T. Bourke and
               R.J. van Glabbeek and
               P. H{\"o}fner},
  title     = {A mechanized proof of loop freedom of the (untimed) {AODV} routing protocol},
  year      = 2014,
  pages     = {47-63},
  doi       = {10.1007/978-3-319-11936-6\_5},
  editor    = {F. Cassez and J.-F. Raskin},
  booktitle = {{\rm Proceedings 12th International Symposium on} Automated Technology for Verification and Analysis,
               {\rm ATVA'14, Sydney, NSW Australia, November 2014}},
  publisher = springer,
  series    = lncs,
  volume    = 8837,
  url       = {http://arxiv.org/abs/1505.05646},
  abs       = {http://theory.stanford.edu/~rvg/abstracts.html#104},
}

105.

@Article{GGO14a,
  author = 	 "Glabbeek, R.J. van and U. Goltz and E.-R. Olderog",
  title = 	 {Special issue on ``{Combining Compositionality and Concurrency}'': part 1},
  journal =      "Acta Informatica",
  year = 	 2015,
  volume = 	 52,
  number = 	 1,
  pages = 	 {3-4},
  doi =          {10.1007/s00236-014-0213-y},
}

106.

@TechReport{GH15a,
  author =       "Glabbeek, R.J. van and P. H{\"o}fner",
  title =        "Progress, Fairness and Justness in Process Algebra",
  institution =  {NICTA},
  address = 	 {Sydney, Australia},
  number = 	 {8501},
  URL =          "http://arxiv.org/abs/1501.03268",
  year =         "2015",
}

107.

@article{GH15b,
  author    = {Glabbeek, R.J. van and P. H{\"{o}}fner},
  title     = {{CCS:} It's not fair! - Fair schedulers cannot be implemented in CCS-like
               languages even under progress and certain fairness assumptions},
  journal   = "Acta Informatica",
  volume    = {52},
  number    = {2-3},
  pages     = {175--205},
  year      = {2015},
  doi       = {10.1007/s00236-015-0221-6},
  url       = {http://arxiv.org/abs/1505.05964},
}

108.

@Article{GGO14b,
  author = 	 "Glabbeek, R.J. van and U. Goltz and E.-R. Olderog",
  title = 	 {Special issue on ``{Combining Compositionality and Concurrency}'': part 2},
  journal =      "Acta Informatica",
  year = 	 2015,
  volume = 	 52,
  number = 	 {4-5},
  pages = 	 {303-304},
  doi =          {10.1007/s00236-015-0240-3},
}

109.

@Article{CFG15,
  author    =    {T. Chen and W.J. Fokkink and Glabbeek, R.J. van},
  title = 	 {On the Axiomatizability of Impossible Futures },
  journal   =    {Logical Methods in Computer Science},
  year = 	 2015,
  volume = 	 {11},
  number = 	 {3},
  eid = 	 {17},
  doi =          {10.2168/LMCS-11(3:17)2015},
  url =          {http://arxiv.org/abs/1505.04985},
}

110.

@Inproceedings{EPTCS190.4,
  author    = "Peters, K. and Glabbeek, R.J. van",
  year      = "2015",
  title     = "Analysing and Comparing Encodability Criteria",
  editor    = "Crafa, S. and Gebler, D.E.",
  booktitle = "{\rm Proceedings of the Combined 22th International Workshop on}
               Expressiveness in Concurrency {\rm and 12th Workshop on}
               Structural Operational Semantics,
               {\rm Madrid, Spain, 31st August 2015}",
  series    = "Electronic Proceedings in Theoretical Computer Science",
  volume    = "190",
  publisher = "Open Publishing Association",
  pages     = "46-60",
  doi       = "10.4204/EPTCS.190.4",
}

@article{PG15,
  author    = {K. Peters and Glabbeek, R.J. van},
  title     = {Analysing and Comparing Encodability Criteria for Process Calculi},
  journal   = {Archive of Formal Proofs},
  year      = {2015},
  url       = {https://www.isa-afp.org/entries/Encodability_Process_Calculi.html},
}

111.

@inproceedings{vG15,
  author    = {Glabbeek, R.J. van},
  title     = {Structure Preserving Bisimilarity,
               Supporting an Operational Petri Net Semantics of {CCSP}},
  booktitle = {{\rm Proceedings} Correct System Design - Symposium in Honor of Ernst-R{\"{u}}diger
               Olderog on the Occasion of His 60th Birthday, {\rm Oldenburg, Germany,
               September 8-9, 2015}},
  pages     = {99--130},
  year      = {2015},
  doi       = {10.1007/978-3-319-23506-6_9},
  editor    = {R. Meyer and A. Platzer and H. Wehrheim},
  series    = lncs,
  volume    = {9360},
  publisher = springer,
  url       = {http://arxiv.org/abs/1509.05842},
}

112.

@Article{BGH16,
  author    = {T. Bourke and
               R.J. van Glabbeek and
               P. H{\"o}fner},
  title = 	 {Mechanizing a Process Algebra for Network Protocols},
  journal = 	 {Journal of Automated Reasoning},
  year = 	 {2016},
  volume = 	 {56},
  number = 	 {3},
  pages = 	 {309-341},
  doi =       {10.1007/s10817-015-9358-9},
  url       = {http://arxiv.org/abs/1512.07304},
}

113.

@Proceedings{EPTCS196,
  editor    = {Glabbeek, R.J. van and Groote, J.F. and H\"ofner, P.},
  year      = "2015",
  title     = "{\rm Proceedings Workshop on}
               Models for Formal Analysis of Real Systems,
               {\rm Suva, Fiji, November 23, 2015}",
  series    = "Electronic Proceedings in Theoretical Computer Science",
  volume    = "196",
  publisher = "Open Publishing Association",
  doi       = "10.4204/EPTCS.196",
}

@Article{EPTCS196.0,
  author    = {Glabbeek, R.J. van and Groote, J.F. and H\"ofner, P.},
  year      = "2015",
  title     = "Preface, {\rm Proceedings Workshop on}
               Models for Formal Analysis of Real Systems,
               {\rm Suva, Fiji, November 23, 2015}",
  journal   = "Electronic Proceedings in Theoretical Computer Science",
  volume    = "196",
  eid       = "0",
  publisher = "Open Publishing Association",
  doi       = "10.4204/EPTCS.196.0",
}

114. ------

@Article{GHPT16,
  author    = {Glabbeek, R.J. van and
               P. H{\"o}fner and
               M. Portmann and
               W.L. Tan},
  title = 	 {Modelling and Verifying the {AODV} Routing Protocol},
  journal = 	 {Distributed Computing},
  year = 	 {2016},
  volume = 	 29,
  number = 	 4,
  pages = 	 {279-315},
  DOI       = {10.1007/s00446-015-0262-7},
  url       = {http://arxiv.org/abs/1512.08867},
}

115.

@InProceedings{BrGH16,
  author = 	 {E. Bres and Glabbeek, R.J. van and P. H{\"o}fner},
  title =        {A Timed Process Algebra for Wireless Networks with an Application in Routing (extended abstract)},
  booktitle = {Programming Languages and Systems:
               {\rm Proceedings 25th} European Symposium on Programming,
               {\rm ESOP'16; held as part of the} European
               Joint Conferences on Theory and Practice of Software,
               {\rm ETAPS'16, Eindhoven, The Netherlands, April 2016}},
  publisher = springer,
  series    = lncs,
  pages = 	 {95-122},
  year = 	 2016,
  editor = 	 {P. Thiemann},
  volume = 	 {9632},
  DOI =          {10.1007/978-3-662-49498-1_5},
}

@TechReport{BrGH16b,
  author = 	 {E. Bres and Glabbeek, R.J. van and P. H{\"o}fner},
  title =        {A Timed Process Algebra for Wireless Networks with an Application in Routing},
  institution =  {NICTA},
  year = 	 2016,
  number = 	 {9145},
  note =       "Extended abstract in P. Thiemann, editor:
               {\sl Programming Languages and Systems:
               {\rm Proceedings 25th} European Symposium on Programming,
               {\rm ESOP'16; held as part of the} European
               Joint Conferences on Theory and Practice of Software,
               {\rm ETAPS'16, Eindhoven, The Netherlands, April 2016}},
               LNCS 9632, Springer, 2016, pp. 95-122",
  url =          {http://arxiv.org/abs/1606.03663},
}

xii.

@Misc{vG16,
  author = 	 {Glabbeek, R.J. van},
  title = 	 {Ensuring Liveness Properties of Distributed Systems (A Research Agenda)},
  howpublished = {Position paper},
  month = 	 {March},
  year = 	 {2016},
  URL =          "https://arxiv.org/abs/1711.04240",}

116.

@InProceedings{FG16a,
  author = 	 {W.J. Fokkink and Glabbeek, R.J. van},
  title = 	 {Divide and Congruence {II}: Delay and Weak Bisimilarity},
  booktitle =    "{\rm Proceedings $31^{st}$ Annual ACM/IEEE Symposium on}
                  Logic in Computer Science, {\rm LICS'16, New York, NY, USA,
		  July 2016}",
  pages =	 {778-787},
  year = 	 {2016},
  doi = 	 {10.1145/2933575.2933590},
  publisher =	 {ACM},
  URL       = "http://theory.stanford.edu/~rvg/abstracts.html#116",
}

117.

@article{FG17b,
  author    = {W.J. Fokkink and Glabbeek, R.J. van},
  title     = {Divide and congruence {II:} From decomposition of modal formulas to
               preservation of delay and weak bisimilarity},
  journal   = {Information and Computation},
  volume    = {257},
  pages     = {79-113},
  year      = {2017},
  doi       = {10.1016/j.ic.2017.10.003},
  url       = {http://arxiv.org/abs/1604.07530},
  timestamp = {Fri, 01 Dec 2017 15:42:27 +0100},
  biburl    = {http://dblp.org/rec/bib/journals/iandc/FokkinkG17},
  bibsource = {dblp computer science bibliography, http://dblp.org},
  TRinstitution =  {NICTA},
  TRyear = 	 2016,
  TRnumber = 	 9351,
  TRurl =        {http://arxiv.org/abs/1604.07530v1},
}                  


118.

@Misc{GH16,
  author =       "Glabbeek, R.J. van and Hughes, D.J.D.",
  title =        "MALL proof nets identify proofs modulo rule commutation",
  URL =          "http://theory.stanford.edu/~rvg/abstracts.html#118",
  year =         "2016",
}

119.

@InCollection{vG16b,
  author    = {Glabbeek, R.J. van},
  title     = {An Algebraic Treatment of Recursion},
  booktitle = {Liber Amicorum for Jan A. Bergstra},
  pages     = {58-59},
  year      = 2016,
  editor    = {I. Bethke and B. Bredeweg and A. Ponse},
  publisher = {Informatics Institute, University of Amsterdam},
  url       = {http://arxiv.org/abs/1702.07838},
}

120.

@InCollection{vG17,
  author    = {Glabbeek, R.J. van},
  title     = {A Branching Time Model of {CSP}},
  booktitle = {Concurrency, Security, and Puzzles --- Essays Dedicated to Andrew William Roscoe on the Occasion of His 60th Birthday},
  pages     = {272--293},
  year      = {2017},
  doi       = {10.1007/978-3-319-51046-0_14},
  editor    = {Th. Gibson{-}Robinson and Ph.J. Hopcroft and R. Lazic},
  publisher = springer,
  series    = lncs,
  volume    = {10160},
  url       = {http://arxiv.org/abs/1702.07844},
}

121.

@Inproceedings{EPTCS244.2,
  author    = {Glabbeek, R.J. van and H\"ofner, P.},
  year      = {2017},
  title     = {Split, Send, Reassemble: A Formal Specification of a CAN Bus Protocol Stack},
  editor    = {Hermanns, H. and H\"ofner, P.},
  booktitle = {{\rm Proceedings 2nd Workshop on}
               Models for Formal Analysis of Real Systems,
               {\rm Uppsala, Sweden, 29th April 2017}},
  series    = {Electronic Proceedings in Theoretical Computer Science},
  volume    = {244},
  publisher = {Open Publishing Association},
  pages     = {14-52},
  doi       = {10.4204/EPTCS.244.2},
}

122.

@InProceedings{FG17,
  author = 	 {W.J. Fokkink and Glabbeek, R.J. van},
  title =        "Precongruence Formats with Lookahead through Modal Decomposition",
  URL =          "http://theory.stanford.edu/~rvg/abstracts.html#122",
  year =         "2017",
  booktitle ={{\rm Proceedings 26th EACSL Annual Conference on} Computer Science Logic, {\rm CSL'17}},
  pages ={25:1--25:20},
  series ={Leibniz International Proceedings in Informatics (LIPIcs)},
  ISBN ={978-3-95977-045-3},
  ISSN ={1868-8969},
  volume ={82},
  LONGeditor ={Valentin Goranko and Mads Dam},
  editor ={V. Goranko and M. Dam},
  publisher ={Schloss Dagstuhl--Leibniz-Zentrum f\"ur Informatik},
  address ={Dagstuhl, Germany},
  URN ={urn:nbn:de:0030-drops-76776},
  doi ={10.4230/LIPIcs.CSL.2017.25},
  annote ={Keywords: Structural Operational Semantics, Compositionality, Congruence, Modal Logic, Modal Decomposition, Lookahead}
}

123.

@InProceedings{vG17b,
  author =       "Glabbeek, R.J. van",
  title =        "Lean and Full Congruence Formats for Recursion",
  year =         "2017",
  booktitle =    "{\rm Proceedings $32^{nd}$ Annual ACM/IEEE Symposium on}
                  Logic in Computer Science, {\rm LICS'17, Reykjavik, Iceland,
		  June 2017}",
  publisher =    {IEEE Computer Society Press},
  doi       = {10.1109/LICS.2017.8005142},
  url =          {https://arxiv.org/abs/1704.03160}
}

124.

@InProceedings{FGL17a,
  author = 	 {W.J. Fokkink and Glabbeek, R.J. van and B. Luttik},
  title = 	 {Divide and Congruence {III}: Stability \& Divergence},
  booktitle =	 {{\rm Proceedings 28th International Conference on} Concurrency Theory, {\rm CONCUR'17}},
  year =	 2017,
  editor =	 {R. Meyer and U. Nestmann},
  volume = 	 85,
  series =       {Leibniz International Proceedings in Informatics (LIPIcs)},
  pages =	 {15:1--15:16},
  publisher =    {Schloss Dagstuhl--Leibniz-Zentrum f\"ur Informatik},
  address =      {Dagstuhl, Germany},
  doi =          {10.4230/LIPIcs.CONCUR.2017.15},
  URL =          "http://theory.stanford.edu/~rvg/abstracts.html#124",  
}

125.

@TechReport{FGL17,
  author = 	 {W.J. Fokkink and Glabbeek, R.J. van and B. Luttik},
  title = 	 {Divide and Congruence {III}: From Decomposition of Modal Formulas to Preservation of Stability and Divergence},
  institution =  {Data61, CSIRO},
  year = 	 2017,
  URL =          "http://theory.stanford.edu/~rvg/abstracts.html#125",  
}

@Article{FGL19,
  author = 	 {W.J. Fokkink and Glabbeek, R.J. van and B. Luttik},
  title = 	 {Divide and Congruence {III}: From Decomposition of Modal Formulas to Preservation of Stability and Divergence},
  journal =      {Information and Computation},
  year = 	 2019,
  volume =	 268,
  eid =          104435,
  DOI =          {10.1016/j.ic.2019.104435},
  URL =          {https://arxiv.org/abs/1908.06550},
}

126.

@Inproceedings{EPTCS255.2,
  author    = {Dyseryn, V. and Glabbeek, R.J. van and H\"ofner, P.},
  year      = {2017},
  title     = {Analysing Mutual Exclusion using Process Algebra with Signals},
  editor    = {Peters, K. and Tini, S.},
  booktitle = {{\rm Proceedings Combined 24th International Workshop on}
               Expressiveness in Concurrency {\rm and 14th Workshop on} Structural Operational Semantics,
               {\rm Berlin, Germany, 4th September 2017}},
  series    = {Electronic Proceedings in Theoretical Computer Science},
  volume    = {255},
  publisher = {Open Publishing Association},
  pages     = {18-34},
  doi       = {10.4204/EPTCS.255.2},
}

127.

@TechReport{GLS18,
  author = 	 {Glabbeek, R.J. van and B. Luttik and L. Spaninks},
  title = 	 {Rooted Divergence-Preserving Branching Bisimilarity is a Congruence},
  institution =  {Data61, CSIRO},
  year = 	 {2018},
  url =          {https://arxiv.org/abs/1801.01180v1}
}

@Article{GSL20,
  author = 	 {Glabbeek, R.J. van and B. Luttik and L. Spaninks},
  title = 	 {Rooted Divergence-Preserving Branching Bisimilarity is a Congruence},
  journal   =    {Logical Methods in Computer Science},
  year = 	 2020,
  volume =	 16,
  number =	 3,
  eid =          14,
  month =	 {August},
  DOI =          {10.23638/LMCS-16(3:14)2020},
  url =          {https://arxiv.org/abs/1801.01180}
}

128.

@Article{vG18a,
  author = 	 {Glabbeek, R.J. van},
  title = 	 {On the Validity of Encodings of the Synchronous in the Asynchronous $\pi$-calculus},
  journal =      {Information Processing Letters},
  year = 	 2018,
  volume =	 {137},
  pages =	 {17–25},
  doi =          {10.1016/j.ipl.2018.04.015},
  url =          {https://arxiv.org/abs/1802.09182}  
 }

129.

@TechReport{LMGG18,
  author = 	 {C. Lippert and S. Mennicke and Glabbeek, R.J. van and U. Goltz},
  title = 	 {A Case Study on Evaluating Encodings Between Process Calculi},
  institution =  {Data61, CSIRO},
  year = 	 {2018},
  url =          {http://theory.stanford.edu/~rvg/abstracts.html#129}
}

130.

@InProceedings{vG18b,
  author = 	 {Glabbeek, R.J. van},
  title = 	 {A Theory of Encodings and Expressiveness (extended abstract)},
  booktitle = {{\rm Proceeding 21st International Conference on}
               Foundations of Software Science and Computational Structures,
               {\rm FoSSaCS'18; held as part of the} European
               Joint Conferences on Theory and Practice of Software,
               {\rm ETAPS'18, Thessaloniki, Greece, April 2018}},
  publisher = springer,
  series    = lncs,
  year = 	 2018,
  editor = 	 {C. Baier and U. Dal Lago},
  volume =	 10803,
  pages = 	 {183-202},
  doi =          {10.1007/978-3-319-89366-2\_10},
}

@TechReport{vG18e,
  author = 	 {Glabbeek, R.J. van},
  title = 	 {A Theory of Encodings and Expressiveness},
  year = 	 2018,
  institution =  {Data61, CSIRO},
  url =          {https://arxiv.org/abs/1805.10415}
}

131.

@Proceedings{EPTCS268,
  editor    = {Gallagher, J. and Glabbeek, R.J. van and Serwe, W.},
  year      = {2018},
  title     = {{\rm Proceedings Third Workshop on}
               Models for Formal Analysis of Real Systems
	       {\rm and Sixth International Workshop on}
	       Verification and Program Transformation,
               {\rm Thessaloniki, Greece, 20th April 2018}},
  series    = {Electronic Proceedings in Theoretical Computer Science},
  volume    = {268},
  publisher = {Open Publishing Association},
  doi       = {10.4204/EPTCS.268},
}

132.

@inproceedings{GHW18,
  author    = {Glabbeek, R.J. van and
               P. H\"ofner and
               D. van der Wal},
  title     = {Analysing AWN-Specifications Using mCRL2 (Extended Abstract)},
  booktitle = {{\rm Proceedings 14th International Conference on}
               Integrated Formal Methods {\rm ({IFM}'18),
               Maynooth, Ireland, September 2018}},
  pages     = {398--418},
  year      = {2018},
  doi       = {10.1007/978-3-319-98938-9\_23},
  editor    = {C.A. Furia and
               K. Winter},
  series    = lncs,
  volume    = {11023},
  publisher = springer,
  URL =          "http://theory.stanford.edu/~rvg/abstracts.html#132",
}

xiii.

@InProceedings{vG18c,
  author =      {Glabbeek, R.J. van},
  title =       {Is Speed-Independent Mutual Exclusion Implementable?},
  booktitle =   {{\rm Proceedings 29th International Conference on} Concurrency Theory
                 {\rm (CONCUR'18), Beijing, China, September 2018}},
  eid =  3,
  series =  {Leibniz International Proceedings in Informatics (LIPIcs)},
  ISBN = {978-3-95977-087-3},
  ISSN = {1868-8969},
  year = {2018},
  volume =      {118},
  editor =      {S. Schewe and L. Zhang},
  publisher =   {Schloss Dagstuhl--Leibniz-Zentrum f\"ur Informatik},
  address = {Dagstuhl, Germany},
  doi =         {10.4230/LIPIcs.CONCUR.2018.3},
  annote =      {Keywords: Mutual exclusion, speed independence, concurrent reading and writing, liveness, justness}
}

133.

@TechReport{GH18,
  author =       "Glabbeek, R.J. van and P. H{\"o}fner",
  title =        "Progress, Justness and Fairness",
  type =         "Survey paper",
  institution =  {Data61, CSIRO},
  address = 	 {Sydney, Australia},
  nonumber = 	 {8501},
  url =          {https://arxiv.org/abs/1810.07414v1},
  year =         "2018",
}

@Article{GH19,
  author =       "Glabbeek, R.J. van and P. H{\"o}fner",
  title =        "Progress, Justness and Fairness",
  journal = 	 {ACM Computing Surveys},
  year = 	 {2019},
  volume =	 {52},
  number =	 4,
  OPTpages = 	 {69:1--69:38},
  eid =          69,
  month =	 {August},
  doi =          {10.1145/3329125},
  url =          {https://arxiv.org/abs/1810.07414},
}

134.

@Article{FG19,
  author = 	 {N. Fischer and Glabbeek, R.J. van},
  title = 	 {Axiomatising Infinitary ProbabilisticWeak Bisimilarity of Finite-State Behaviours},
  journal = 	 {Journal of Logical and Algebraic Methods in Programming},
  year = 	 2019,
  volume =	 {102},
  pages =	 {64-102},
  doi =          {10.1016/j.jlamp.2018.09.006},
  url =          {https://arxiv.org/abs/1810.07488}  
}

135.

@TechReport{vG19a,
  author = 	 {Glabbeek, R.J. van},
  title = 	 {Justness: A Completeness Criterion for Capturing Liveness Properties},
  institution =  {Data61, CSIRO},
  year =	 2019,
  url =          {https://arxiv.org/abs/1909.00286},
  note =         {Extended abstract in M. Boja\'nczyk \& A. Simpson, editors: Proceedings 22st International Conference on
                  {\sl Foundations of Software Science and Computation Structures} (FoSSaCS 2019); held as part of the European Joint Conferences on
                  {\sl Theory and Practice of Software} (ETAPS 2019), Prague, Czech Republic, April 2019, LNCS 11425, Springer, pp. 505-522}
}                  

@InProceedings{vG19,
  author = 	 {Glabbeek, R.J. van},
  title = 	 {Justness: A Completeness Criterion for Capturing Liveness Properties (extended abstract)},
  booktitle =	 {{\rm Proceedings 22st International Conference on}
                  Foundations of Software Science and Computation Structures
                  {\rm (FoSSaCS'19); held as part of the}
                  European Joint Conferences on Theory and Practice of Software
                  {\rm (ETAPS'19), Prague, Czech Republic, April 2019}},
  year =	 2019,
  editor =	 {M. Boja\'nczyk and A. Simpson},
  volume =	 11425,
  series =	 lncs,
  pages =	 {505-522},
  publisher =	 springer,
  doi = 	 {10.1007/978-3-030-17127-8\_29}
}

136.

@InProceedings{GHM19,
  author = 	 {Glabbeek, R.J. van and P. H\"ofner and M. Markl},
  title = 	 {A Process Algebra for Link Layer Protocols},
  booktitle =	 {Programming Languages and Systems,
                  {\rm Proceedings 28th} European Symposium on Programming
                  {\rm (ESOP'19); held as part of the}
                  European Joint Conferences on Theory and Practice of Software
                  {\rm (ETAPS'19), Prague, Czech Republic, April 2019}},
  year =	 2019,
  editor =	 {L. Caires},
  volume =	 11423,
  series =	 lncs,
  pages =	 {668-693},
  publisher =	 springer,
  doi = 	 {10.1007/978-3-030-17184-1\_24},
  url =          {https://arxiv.org/abs/1907.13329}  
}

137.

@InCollection{vG19b,
  author = 	 {Glabbeek, R.J. van},
  title = 	 {Reward Testing Equivalences for Processes},
  booktitle = 	 {Models, Languages, and Tools for Concurrent and Distributed Programming,
                  {\rm Essays Dedicated to Rocco De Nicola on the Occasion of His 65th Birthday}},
  publisher =	 springer,
  series =	 lncs,
  year =	 2019,
  editor =	 {M. Boreale and F. Corradini and M. Loreti and R. Pugliese},
  volume =	 11665,
  pages =	 {45-70},
  doi =          {10.1007/978-3-030-21485-2_5},
  url =          {https://arxiv.org/abs/1907.13348}
}

138.

@Article{vG19c,
  author = 	 {Glabbeek, R.J. van},
  title = 	 {Ensuring liveness properties of distributed systems: Open problems},
  journal = 	 {Journal of Logical and Algebraic Methods in Programming},
  year = 	 2019,
  volume = 	 109,
  eid =          100480,
  url =          {https://arxiv.org/abs/1912.05616},
  doi =          {10.1016/j.jlamp.2019.100480}
}

139.

@Inproceedings{EPTCS300.5,
  author    = {Glabbeek, R.J. van},
  year      = {2019},
  title     = {On the Meaning of Transition System Specifications},
  editor    = {P\'erez, J.A. and Rot, J.},
  booktitle = {{\rm Proceedings Combined 26th International Workshop on}
               Expressiveness in Concurrency {\rm and 16th Workshop on} Structural Operational Semantics,
               {\rm Amsterdam, The Netherlands, 26th August 2019}},
  series    = {Electronic Proceedings in Theoretical Computer Science},
  volume    = {300},
  publisher = {Open Publishing Association},
  pages     = {69-85},
  doi       = {10.4204/EPTCS.300.5},
}

140.

@Proceedings{concur19,
  title ={{\rm Proceedings 30th International Conference on} Concurrency Theory {\rm (CONCUR 2019)}},
  series ={Leibniz International Proceedings in Informatics (LIPIcs)},
  ISBN ={978-3-95977-121-4},
  ISSN ={1868-8969},
  year ={2019},
  volume ={140},
  editor ={W.J. Fokkink and Glabbeek, R.J. van},
  publisher ={Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
  address ={Dagstuhl, Germany},
  URL ={http://www.dagstuhl.de/dagpub/978-3-95977-121-4},
}

@InProceedings{concur19preface,
  author ={W.J. Fokkink and Glabbeek, R.J. van},
  fulltitle ={{Front Matter, Table of Contents, Preface, Conference Organization}},
  title ={Preface},
  booktitle ={{\rm Proceedings 30th International Conference on} Concurrency Theory {\rm (CONCUR 2019)}},
  pages ={0:i--0:xiv},
  series ={Leibniz International Proceedings in Informatics (LIPIcs)},
  ISBN ={978-3-95977-121-4},
  ISSN ={1868-8969},
  year ={2019},
  volume ={140},
  editor ={W.J. Fokkink and Glabbeek, R.J. van},
  publisher ={Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
  address ={Dagstuhl, Germany},
  doi = {10.4230/LIPIcs.CONCUR.2019.0},
  annote ={Keywords: Front Matter, Table of Contents, Preface, Conference Organization}
}

141.

@inproceedings{GGLM19,
  author    = {Glabbeek, R.J. van and  U. Goltz and C. Lippert and S. Mennicke},
  title     = {Stronger Validity Criteria for Encoding Synchrony},
  booktitle = {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},
  pages     = {182--205},
  year      = {2019},
  doi       = {10.1007/978-3-030-31175-9\_11},
  editor    = {M.S. Alvim and K. Chatzikokolakis and C. Olarte and F. Valencia},
  publisher = springer,
  series    = lncs,
  volume    = {11760},
}

142.

@inproceedings{GGV19,
  author    = {Glabbeek, R.J. van and J.F. Groote and E.P. de Vink},
  title     = {A Complete Axiomatization of Branching Bisimilarity for a Simple Process
               Language with Probabilistic Choice (Extended Abstract)},
  booktitle = {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},
  pages     = {139-162},
  year      = {2019},
  doi       = {10.1007/978-3-030-31175-9\_9},
  editor    = {M.S. Alvim and K. Chatzikokolakis and C. Olarte and F. Valencia},
  publisher = springer,
  series    = lncs,
  volume    = {11760},
}

143.

@misc{GGT19,
  author = 	 {Glabbeek, R.J. van and V. Gramoli and P. Tholoniat},
  title = 	 {Cross-Chain Payment Protocols with Success Guarantees},
  year = 	 2019,
  url =          {http://arxiv.org/abs/1912.04513}
}

@Article{GGT23,
  author = 	 {Glabbeek, R.J. van and V. Gramoli and P. Tholoniat},
  title = 	 {Cross-Chain Payment Protocols with Success Guarantees},
  journal = 	 {Distributed Computing},
  year = 	 2023,
  volume = 	 26,
  pages = 	 {137–157},
  doi =          {10.1007/s00446-023-00446-0}
}

144.

@article{vG21,
  author = 	 {Glabbeek, R.J. van},
  title = 	 {Failure Trace Semantics for a Process Algebra with Time-outs},
  journal   =    {Logical Methods in Computer Science},
  volume =       17,
  number =       2,
  eid =          11,
  year = 	 2021,
  url =          {http://arxiv.org/abs/2002.10814},
  doi =          {10.23638/LMCS-17(2:11)2021}
}

145.

@Inproceedings{EPTCS316.3,
  author    = {Barry, R. and Glabbeek, R.J. van and H\"ofner, P.},
  year      = {2020},
  title     = {Formalising the Optimised Link State Routing Protocol},
  editor    = {Fehnker, A. and Garavel, H.},
  booktitle = {{\rm Proceedings of the 4th Workshop on}
               Models for Formal Analysis of Real Systems,
               {\rm Dublin, Ireland, April 26, 2020}},
  series    = {Electronic Proceedings in Theoretical Computer Science},
  volume    = {316},
  publisher = {Open Publishing Association},
  pages     = {40-71},
  doi       = {10.4204/EPTCS.316.3},
}

146.

@misc{GM20,
  author = 	 {Glabbeek, R.J. van and C.A. Middelburg},
  title = 	 {On Infinite Guarded Recursive Specifications in Process Algebra},
  year = 	 2020,
  url =          {http://arxiv.org/abs/2005.00746}
}

147.

@InProceedings{GGT20,
  author = 	 {Glabbeek, R.J. van and V. Gramoli and P. Tholoniat},
  title = 	 {Feasibility of Cross-Chain Payment with Success Guarantees},
  booktitle =	 {{\rm Proceedings 32nd ACM Symposium on}
                  Parallelism in Algorithms and Architectures,
                  {\rm SPAA 2020, Virtual Event, USA, July 2020}},
  year =	 2020,
  pages =	 {579-581},
  publisher =	 {ACM},
  doi =          {10.1145/3350755.3400264},
  URL =          "http://arxiv.org/abs/2007.08152",
}

148.                  

@InProceedings{vG20b,
  author = 	 {Glabbeek, R.J. van},
  title = 	 {Reactive Bisimulation Semantics for a Process Algebra with Time-Outs},
  booktitle =	 {{\rm Proceedings 31st International Conference on} Concurrency Theory {\rm (CONCUR 20),
                  Online, September 2020}},
  year =	 2020,
  editor =	 {I. Konnov and L. Kov\'acs},
  volume =	 171,
  series =	 {Leibniz International Proceedings in Informatics (LIPIcs)},
  eid =	         6,
  publisher =    {Schloss Dagstuhl--Leibniz-Zentrum f\"ur Informatik},
  doi =          {10.4230/LIPIcs.CONCUR.2020.6}
}

@TechReport{vG21a,
  author = 	 {Glabbeek, R.J. van},
  title = 	 {Reactive Bisimulation Semantics for a Process Algebra with Time-Outs},
  institution =  {Data61, CSIRO},
  year = 	 2021,
  url =          "https://arxiv.org/abs/2008.11499",
  note =         {Extended abstract in I. Konnov \& L. Kov\'acs, editors:
                  Proceedings 31st International Conference on {\sl Concurrency Theory} (CONCUR 20),
                  Online, September 2020, {\sl Leibniz International Proceedings in Informatics (LIPIcs) 171(6)},
                  Schloss Dagstuhl--Leibniz-Zentrum f\"ur Informatik},
}

149.

@Inproceedings{EPTCS322.6,
  author    = {Glabbeek, R.J. van},
  year      = {2020},
  title     = {Reactive Temporal Logic},
  editor    = {Dardha, O. and Rot, J.},
  booktitle = {{\rm Proceedings Combined 27th International Workshop on}
               Expressiveness in Concurrency {\rm and 17th Workshop on} Structural Operational Semantics,
               {\rm Online, 31 August 2020}},
  series    = {Electronic Proceedings in Theoretical Computer Science},
  volume    = {322},
  publisher = {Open Publishing Association},
  pages     = {51-68},
  doi       = {10.4204/EPTCS.322.6},
}

150.

@proceedings{FG21,
  editor = 	 {W.J. Fokkink and Glabbeek, R.J. van},
  title = 	 {Selected Papers of the 30th International Conference on Concurrency Theory (CONCUR 2019)},
  journal   =    {Logical Methods in Computer Science},
  year = 	 2021,
  url =          {https://lmcs.episciences.org/volume/view/id/386},
}

@Article{FG21a,
  author = 	 {W.J. Fokkink and Glabbeek, R.J. van},
  title = 	 {Preface: Selected Papers of the 30th International Conference on Concurrency Theory (CONCUR 2019)},
  journal   =    {Logical Methods in Computer Science},
  year = 	 2021,
  url =          {https://lmcs.episciences.org/volume/view/id/386},
}

151.

@Article{GGS21a,
  author    =    {Glabbeek, R.J. van and U. Goltz and J.-W. Schicke-Uffmann},
  title = 	 {Abstract Processes and Conflicts in Place/Transition Systems},
  journal = 	 {Information and Computation},
  year = 	 2021,
  volume =	 281,
  eid = 	 104706,
  doi =          {10.1016/j.ic.2021.104706},
  eprinttype =   {arXiv},
  eprint    =    {2103.01490},
}

152.

@article{GGS22,
  author    =    {Glabbeek, R.J. van and U. Goltz and J.-W. Schicke-Uffmann},
  title =        {Abstract Processes in the Absence of Conflicts in General Place/Transition Systems},
  journal = 	 {Information and Computation},
  year =         2022,
  doi =          {10.1016/j.ic.2022.104939},
  NOurl =          {http://theory.stanford.edu/~rvg/abstracts.html#152},
  eprinttype =   {arXiv},
  eprint    =    {2207.04362},
  volume =       {289A},
  eid =          {104939}
}

153.

@InProceedings{vG22,
  author = 	 {Glabbeek, R.J. van},
  title =        {Comparing the expressiveness of the $\pi$-calculus and {CCS}},
  booktitle =    {Programming Languages and Systems:
               {\rm Proceedings 31st} European Symposium on Programming,
               {\rm ESOP'22; held as part of the} European
               Joint Conferences on Theory and Practice of Software,
               {\rm ETAPS'22, Munich}},
  year = 	 2022,
  editor = 	 {I. Sergey},
  volume = 	 13240,
  series = 	 lncs,
  pages = 	 {548–574},
  publisher =    springer,
  doi =          {10.1007/978-3-030-99336-8_20},
}

@misc{vG21pi,
  author    =    {Glabbeek, R.J. van},
  title =        {Comparing the expressiveness of the $\pi$-calculus and {CCS}},
  year =         2021,
  url =          {http://arxiv.org/abs/2203.11519},
  NOurl =        {http://theory.stanford.edu/~rvg/abstracts.html#153},
  note =       "Extended abstract in I. Sergey, editor:
               {\sl Programming Languages and Systems:
               {\rm Proceedings 31st} European Symposium on Programming,
               {\rm ESOP'22; held as part of the} European
               Joint Conferences on Theory and Practice of Software,
               {\rm ETAPS'22, Munich, Germany, April 2022}},
               LNCS 13240, Springer, 2022, pp. 548–574, doi:
                 \urlalt{https://doi.org/10.1007/978-3-030-99336-8_20}
                 {10.1007/978-3-030-99336-8_20}",
}

@Article{vG23c,
  author    =    {Glabbeek, R.J. van},
  title =        {Comparing the expressiveness of the $\pi$-calculus and {CCS}},
  journal = 	 {ACM Transactions on Computational Logic},
  year = 	 2023,
  OPTvolume = 	 {},
  OPTnumber = 	 {},
  OPTpages = 	 {},
  doi =          {10.1145/3611013}
}

154.

@misc{vG21co,
  author    =    {Glabbeek, R.J. van},
  title =        {Coinductive Validity},
  year =         2021,
  url =          {https://arxiv.org/abs/2104.13021},
}

155.

@InProceedings{GHH21,
  author = 	 {Glabbeek, R.J. van and P. H\"ofner and R. Horne},
  title =        {Assuming Just Enough Fairness to make Session Types Complete for Lock-freedom},
  year =         2021,
  booktitle =    "{\rm Proceedings $36^{th}$ Annual ACM/IEEE Symposium on}
                  Logic in Computer Science, {\rm LICS'21}",
  publisher =    {IEEE Computer Society Press},
  url =          {https://arxiv.org/abs/2104.14226},
  doi =          {10.1109/LICS52264.2021.9470531},
}

156.

@Misc{vG21b,
  author    = {Glabbeek, R.J. van},
  title     = {Modelling Mutual Exclusion in a Process Algebra with Time-outs},
  year      = 2021,
  NOurl       = {https://arxiv.org/abs/2106.12785},
  eprinttype = {arXiv},
  eprint    = {2106.12785v1},
}

@Article{vG23a,
  author    = {Glabbeek, R.J. van},
  title     = {Modelling Mutual Exclusion in a Process Algebra with Time-outs},
  journal = 	 {Information and Computation},
  year = 	 2023,
  volume = 	 294,
  eid =          105079,
  doi =          {10.1016/j.ic.2023.105079}
}

157.

@inproceedings{GHW21ea,
  author    = {Glabbeek, R.J. van and
               P. H{\"{o}}fner and
               W. Wang},
  editor    = {S. Haddad and
               D. Varacca},
  title     = {Enabling Preserving Bisimulation Equivalence},
  booktitle = {{\rm Proceedings 32nd International Conference on} Concurrency Theory, {\rm CONCUR'21}},
  series    = {Leibniz International Proceedings in Informatics (LIPIcs)},
  volume    = {203},
  publisher = {Schloss Dagstuhl--Leibniz-Zentrum f\"ur Informatik},
  year      = {2021},
  doi       = {10.4230/LIPIcs.CONCUR.2021.33},
}

@Misc{GHW21,
  author    = {Glabbeek, R.J. van and
               P. H{\"{o}}fner and
               W. Wang},
  title     = {Enabling Preserving Bisimulation Equivalence},
  year      = 2021,
  url       = "https://arxiv.org/abs/2108.00142",
  note      = {Extended abstract in: Proceedings 32nd International Conference on
               {\sl Concurrency Theory}, CONCUR'21,
	       {\sl Leibniz International Proceedings in Informatics (LIPIcs)} 203,
               Schloss Dagstuhl--Leibniz-Zentrum f\"ur Informatik, 2021,
                 doi:\urlalt{https://doi.org/10.4230/LIPIcs.CONCUR.2021.33}
                 {10.4230/LIPIcs.CONCUR.2021.33}},
}

158.

@inproceedings{BdAGPY21,
  author    = {N. Bertrand and
               L. de Alfaro and
               R.J. van Glabbeek and
               C. Palamidessi and
               N. Yoshida},
  editor    = {S. Haddad and
               D. Varacca},
  title     = {{CONCUR} Test-Of-Time Award 2021},
  booktitle = {{\rm Proceedings 32nd International Conference on} Concurrency Theory, {\rm CONCUR'21}},
  series    = {Leibniz International Proceedings in Informatics (LIPIcs)},
  volume    = {203},
  publisher = {Schloss Dagstuhl--Leibniz-Zentrum f\"ur Informatik},
  year      = {2021},
  doi       = {10.4230/LIPIcs.CONCUR.2021.1},
}

159.

@Article{vG23,
  author = 	 {van Glabbeek, R.J.},
  title = 	 {Reactive Bisimulation Semantics for a Process Algebra with Time-Outs},
  journal = 	 {Acta Informatica},
  year = 	 2023,
  volume =	 60,
  pages =	 {11-57},
  doi =          {10.1007/s00236-022-00417-1},
}

160.

@InCollection{vG22b,
  author = 	 {Glabbeek, R.J. van},
  title = 	 {Fair Must Testing for I/O Automata},
  booktitle = 	 {A Journey from Process Algebra via Timed Automata to Model Learning},
  publisher =	 springer,
  series =	 lncs,
  year =	 2022,
  editor =	 {N. Jansen and M. Stoelinga and P. van den Bos},
  volume =	 13560,
  pages =	 {559-574},
  doi = 	 {10.1007/978-3-031-15629-8_30},
  eprinttype =   {arXiv},
  eprint =       {2212.11248}
}

161.

@InProceedings{vG23b,
  author = 	 {Glabbeek, R.J. van},
  title = 	 {Just Testing},
  booktitle =    {{\rm Proceedings 26th International Conference on}
                  Foundations of Software Science and Computation Structures
                  {\rm (FoSSaCS 2023); held as part of the}
		  European Joint Conferences on Theory and Practice of Software
                  {\rm (ETAPS 2023), Paris, France, April 2023}},
  year = 	 2023,
  editor =	 {P. Sobocinski and O. Kupferman},
  volume = 	 13992,
  series =	 lncs,
  pages = 	 {498-519},
  publisher =	 springer,
  doi =          {10.1007/978-3-031-30829-1_24},
  eprint =       {2212.08829}
}

162.

@Inproceedings{EPTCS387.5,
  author    = {Glabbeek, R.J. van and J.F. Groote and E.P. de Vink},
  year      = {2023},
  title     = {A Cancellation Law for Probabilistic Processes},
  editor    = {C.A. Mezzina and G. Caltais},
  booktitle = {{\rm Proceedings Combined 30th International Workshop on}
               Expressiveness in Concurrency {\rm and 20th Workshop on} Structural Operational Semantics,
               {\rm Antwerp, Belgium, 18th September 2023}},
  series    = {Electronic Proceedings in Theoretical Computer Science},
  volume    = {387},
  publisher = {Open Publishing Association},
  pages     = {42-58},
  doi       = {10.4204/EPTCS.387.5},
}

163.

@Inproceedings{EPTCS387.6,
  author    = {Glabbeek, R.J. van and H\"ofner, P. and Wang, W.},
  year      = {2023},
  title     = {A Lean-Congruence Format for EP-Bisimilarity},
  editor    = {C.A. Mezzina and G. Caltais},
  booktitle = {{\rm Proceedings Combined 30th International Workshop on}
               Expressiveness in Concurrency {\rm and 20th Workshop on} Structural Operational Semantics,
               {\rm Antwerp, Belgium, 18th September 2023}},
  series    = {Electronic Proceedings in Theoretical Computer Science},
  volume    = {387},
  publisher = {Open Publishing Association},
  pages     = {59-75},
  doi       = {10.4204/EPTCS.387.6},
}

164.

@Article{QOGHKS24,
  author = 	 {X. Qin and L. O'Connor and R.J. van Glabbeek and P. H\"ofner
                  and O. Kammar and M. Steuwer},
  title = 	 {Shoggoth: A Formal Foundation for Strategic Rewriting},
  journal = 	 {Proceedings of the ACM on Programming Languages},
  year = 	 2024,
  volume =	 8,
  number =	 {POPL},
  pages = 	 {61-89 },
  doi =          {10.1145/3633211}
}

@article{QOGHKS24a,
  author = 	 {X. Qin and L. O'Connor and R.J. van Glabbeek and P. H\"ofner
                  and O. Kammar and M. Steuwer},
  title     = {Artifact for Shoggoth - A Formal Foundation for Strategic Rewriting},
  journal   = {Zenodo},
  year      = {2024},
  doi       = {10.5281/zenodo.10125602},
}

165.

@misc{WZGZT24,
  author    =    {Yu Wang and Zhaohui Zhu and Rob J. van Glabbeek and Jinjin Zhang and Lixing Tan},
  title =        {More on Maximally Permissive Similarity Control of Discrete Event Systems},
  year =         2024,
  url =          {https://arxiv.org/abs/2407.08068},
}

166.

@inproceedings{RG24ea,
  author    = {Gaspard Reghem and Glabbeek, Rob J. van},
  editor    = {Rupak Majumdar and Alexandra Silva},
  title     = {Branching Bisimilarity for Processes with Time-outs},
  booktitle = {{\rm Proceedings 35th International Conference on} Concurrency Theory, {\rm CONCUR'24, Calgary, Canada}},
  series    = {Leibniz International Proceedings in Informatics (LIPIcs)},
  volume    = {311},
  publisher = {Schloss Dagstuhl--Leibniz-Zentrum f\"ur Informatik},
  year      = {2024},
  doi       = {10.4230/LIPIcs.CONCUR.2024.36},
}

@Misc{RG24,
  author    = {Gaspard Reghem and Glabbeek, Rob J. van},
  title     = {Branching Bisimilarity for Processes with Time-outs},
  year      = 2024,
  url       = "https://arxiv.org/abs/2408.10117",
  note      = {Extended abstract in: Proceedings 35th International Conference on
               {\sl Concurrency Theory}, CONCUR'24,
	       {\sl Leibniz International Proceedings in Informatics (LIPIcs)} 311,
               Schloss Dagstuhl--Leibniz-Zentrum f\"ur Informatik, 2024,
                 doi:\urlalt{https://doi.org/10.4230/LIPIcs.CONCUR.2024.36}
                 {10.4230/LIPIcs.CONCUR.2024.36}},
}

167.

@Misc{RG24c,
  author    = {Gaspard Reghem and Glabbeek, Rob J. van},
  title     = {Concrete Branching Bisimilarity for Processes with Time-outs},
  year      = 2024,
  url       = "https://arxiv.org/abs/2412.19805",
}

168.

@Inproceedings{EPTCS412.4,
  author    = {Amjad, R. and Glabbeek, R.J. van and O'Connor, L.},
  year      = {2024},
  title     = {Semantics for Linear-time Temporal Logic with Finite Observations},
  editor    = {Caltais, G. and Di Giusto, C.},
  booktitle = {{\rm Proceedings Combined 31st International Workshop on}
               Expressiveness in Concurrency{\rm and 21st Workshop on} Structural Operational Semantics,
               {\rm Calgary, Canada, 9th September 2024}},
  series    = {Electronic Proceedings in Theoretical Computer Science},
  volume    = {412},
  publisher = {Open Publishing Association},
  pages     = {35-50},
  doi       = {10.4204/EPTCS.412.4},
}

@article{AGO24,
  author    = {Amjad, R. and Glabbeek, R.J. van and O'Connor, L.},
  title     = {Definitive Set Semantics for LTL3},
  journal   = {Archive of Formal Proofs},
  year      = {2024},
  url       = {https://www.isa-afp.org/entries/LTL3_Semantics.html},
}

169.

@Misc{GGV25,
  author    = {Glabbeek, R.J. van and J.F. Groote and E.P. de Vink},
  title     = {A Complete Axiomatisation of Distribution-Based Branching Bisimilarity
               for Non-Deterministic and Probabilistic Choice},
  year      = 2025,
  URL       = "http://theory.stanford.edu/~rvg/abstracts.html#169",
}

170.

@inproceedings{GLS25ea,
  author    = {Glabbeek, R.J. van and B. Luttik and M.S.C. Spronck},
  editor    = {Patricia Bouyer and Jaco van de Pol},
  title     = {Just Verification of Mutual Exclusion Algorithms},
  booktitle = {{\rm Proceedings 36th International Conference on} Concurrency Theory, {\rm CONCUR'25, Aarhus, Denmark}},
  series    = {Leibniz International Proceedings in Informatics (LIPIcs)},
  volume    = {348},
  publisher = {Schloss Dagstuhl--Leibniz-Zentrum f\"ur Informatik},
  year      = {2025},
  doi       = {10.4230/LIPIcs.CONCUR.2025.17},
}

@Misc{GLS25,
  author    = {Glabbeek, R.J. van and B. Luttik and M.S.C. Spronck},
  title     = {Just Verification of Mutual Exclusion Algorithms},
  year      = 2025,
  url       = "https://arxiv.org/abs/2507.13198",
  note      = {Extended abstract in: Proceedings 36th International Conference on
               {\sl Concurrency Theory}, CONCUR'25,
	       {\sl Leibniz International Proceedings in Informatics (LIPIcs)} 348,
               Schloss Dagstuhl--Leibniz-Zentrum f\"ur Informatik, 2025,
                 doi:\urlalt{https://doi.org/10.4230/LIPIcs.CONCUR.2025.17}
                 {10.4230/LIPIcs.CONCUR.2025.17}},
}

171.

@Inproceedings{EPTCS433.6,
  author    = {Glabbeek, R.J. van},
  year      = 2025,
  title     = {Unique Solutions of Guarded Recursive Equations},
  editor    = {Di Giusto, Cinzia and Bacci, Giorgio},
  booktitle = {{\rm Proceedings of the Combined 32nd International Workshop on}
               Expressiveness in Concurrency {\rm and 22nd Workshop on} Structural Operational Semantics,
               {\rm Aarhus, Denmark, 25th August 2025}},
  series    = {Electronic Proceedings in Theoretical Computer Science},
  volume    = {433},
  publisher = {Open Publishing Association},
  pages     = {65-84},
  doi       = {10.4204/EPTCS.433.6},
}

172.

@article{FG25,
  author = 	 {W.J. Fokkink and Glabbeek, R.J. van},
  title =        {Formal Methods for Mobile Ad Hoc Networks: A Survey},
  journal =      {Formal Methods in System Design},
  volume =       68,
  number =       1,
  doi =          {10.1007/s10703-025-00490-5},
  eprint =       {2510.18730},
  year =         2026
}