@inproceedings{GlabbeekV87,
  title = {Modular Specifications in Process Algebra with Curious Queues},
  author = {Rob J. van Glabbeek and Frits W. Vaandrager},
  year = {1987},
  tags = {process algebra, algebraic specification,  algebra},
  researchr = {https://researchr.org/publication/GlabbeekV87},
  cites = {0},
  citedby = {0},
  pages = {465-506},
  booktitle = {Algebraic Methods: Theory, Tools and Applications [papers from a workshop in Passau, Germany, June 9-11, 1987]},
  editor = {Martin Wirsing and Jan A. Bergstra},
  volume = {394},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-51698-0},
}

@inproceedings{GlabbeekP95,
  title = {Configuration Structures},
  author = {Rob J. van Glabbeek and Gordon D. Plotkin},
  year = {1995},
  researchr = {https://researchr.org/publication/GlabbeekP95},
  cites = {0},
  citedby = {0},
  pages = {199-209},
  booktitle = {Proceedings, Tenth Annual IEEE Symposium on Logic in Computer Science, 26-29 June 1995, San Diego, California, USA},
  publisher = {IEEE Computer Society},
}

@article{GlabbeekG89:1,
  title = {Parial order semantics for refinement of actions - neither necessary nor always sufficient but appropriate when used with care},
  author = {Rob J. van Glabbeek and Ursula Goltz},
  year = {1989},
  tags = {semantics, refinement,  action semantics},
  researchr = {https://researchr.org/publication/GlabbeekG89%3A1},
  cites = {0},
  citedby = {0},
  journal = {Bulletin of the EATCS},
  volume = {38},
  pages = {154-163},
}

@inproceedings{GlabbeekV06,
  title = {Liveness, Fairness and Impossible Futures},
  author = {Rob J. van Glabbeek and Marc Voorhoeve},
  year = {2006},
  doi = {10.1007/11817949_9},
  url = {http://dx.doi.org/10.1007/11817949_9},
  researchr = {https://researchr.org/publication/GlabbeekV06},
  cites = {0},
  citedby = {0},
  pages = {126-141},
  booktitle = {CONCUR 2006 - Concurrency Theory, 17th International Conference, CONCUR 2006, Bonn, Germany, August 27-30, 2006, Proceedings},
  editor = {Christel Baier and Holger Hermanns},
  volume = {4137},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-37376-4},
}

@article{FokkinkGW06,
  title = {Divide and Congruence Applied to ::::eta::::-Bisimulation},
  author = {Wan Fokkink and Rob J. van Glabbeek and Paulien de Wind},
  year = {2006},
  doi = {10.1016/j.entcs.2005.10.029},
  url = {http://dx.doi.org/10.1016/j.entcs.2005.10.029},
  researchr = {https://researchr.org/publication/FokkinkGW06},
  cites = {0},
  citedby = {0},
  journal = {Electronic Notes in Theoretical Computer Science},
  volume = {156},
  number = {1},
  pages = {97-113},
}

@inproceedings{CzajaGG92,
  title = {Interleaving semantics and action refinement with atomic choice},
  author = {Ingo Czaja and Rob J. van Glabbeek and Ursula Goltz},
  year = {1992},
  tags = {semantics, refinement,  action semantics},
  researchr = {https://researchr.org/publication/CzajaGG92},
  cites = {0},
  citedby = {0},
  pages = {89-107},
  booktitle = {Advances in Petri Nets 1992, The DEMON Project},
  editor = {Grzegorz Rozenberg},
  volume = {609},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-55610-9},
}

@article{ChenFG08,
  title = {Ready to preorder: The case of weak process semantics},
  author = {Taolue Chen and Wan Fokkink and Rob J. van Glabbeek},
  year = {2008},
  doi = {10.1016/j.ipl.2008.09.003},
  url = {http://dx.doi.org/10.1016/j.ipl.2008.09.003},
  tags = {semantics},
  researchr = {https://researchr.org/publication/ChenFG08},
  cites = {0},
  citedby = {0},
  journal = {Inf. Process. Lett.},
  volume = {109},
  number = {2},
  pages = {104-111},
}

@article{Glabbeek05:2,
  title = {On the Expressiveness of Higher Dimensional Automata: (Extended Abstract)},
  author = {Rob J. van Glabbeek},
  year = {2005},
  doi = {10.1016/j.entcs.2004.11.026},
  url = {http://dx.doi.org/10.1016/j.entcs.2004.11.026},
  researchr = {https://researchr.org/publication/Glabbeek05%3A2},
  cites = {0},
  citedby = {0},
  journal = {Electronic Notes in Theoretical Computer Science},
  volume = {128},
  number = {2},
  pages = {5-34},
}

@inproceedings{GlabbeekV03,
  title = {Bundle Event Structures and CCSP},
  author = {Rob J. van Glabbeek and Frits W. Vaandrager},
  year = {2003},
  url = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2761&spage=57},
  researchr = {https://researchr.org/publication/GlabbeekV03},
  cites = {0},
  citedby = {0},
  pages = {57-71},
  booktitle = {CONCUR 2003 - Concurrency Theory, 14th International Conference, Marseille, France, September 3-5, 2003, Proceedings},
  editor = {Roberto M. Amadio and Denis Lugiez},
  volume = {2761},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-40753-7},
}

@inproceedings{HughesG03,
  title = {Proof Nets for Unit-free Multiplicative-Additive Linear Logic (Extended abstract)},
  author = {Dominic J. D. Hughes and Rob J. van Glabbeek},
  year = {2003},
  url = {http://csdl.computer.org/comp/proceedings/lics/2003/1884/00/18840001abs.htm},
  tags = {logic},
  researchr = {https://researchr.org/publication/HughesG03},
  cites = {0},
  citedby = {0},
  pages = {1-10},
  booktitle = {18th IEEE Symposium on Logic in Computer Science (LICS 2003), 22-25 June 2003, Ottawa, Canada, Proceedings},
  publisher = {IEEE Computer Society},
  isbn = {0-7695-1884-2},
}

@article{HughesG05,
  title = {Proof nets for unit-free multiplicative-additive linear logic},
  author = {Dominic J. D. Hughes and Rob J. van Glabbeek},
  year = {2005},
  doi = {10.1145/1094622.1094629},
  url = {http://doi.acm.org/10.1145/1094622.1094629},
  tags = {logic},
  researchr = {https://researchr.org/publication/HughesG05},
  cites = {0},
  citedby = {0},
  journal = {ACM Trans. Comput. Log.},
  volume = {6},
  number = {4},
  pages = {784-842},
}

@article{abs-0810-4904,
  title = {On Finite Bases for Weak Semantics: Failures versus Impossible Futures},
  author = {Taolue Chen and Wan Fokkink and Rob J. van Glabbeek},
  year = {2008},
  url = {http://arxiv.org/abs/0810.4904},
  note = {informal publication},
  tags = {semantics},
  researchr = {https://researchr.org/publication/abs-0810-4904},
  cites = {0},
  citedby = {0},
  journal = {CoRR},
  volume = {abs/0810.4904},
}

@incollection{Glabbeek01,
  title = {What is Branching Time Semantics and Why to Use it?},
  author = {Rob J. van Glabbeek},
  year = {2001},
  tags = {semantics},
  researchr = {https://researchr.org/publication/Glabbeek01},
  cites = {0},
  citedby = {0},
  pages = {469-479},
  booktitle = {Current Trends in Theoretical Computer Science},
}

@inproceedings{Glabbeek93:1,
  title = {Full Abstraction in Structural Operational Semantics (Extended Abstract)},
  author = {Rob J. van Glabbeek},
  year = {1993},
  tags = {semantics,  structural operational semantics, operational semantics, abstraction},
  researchr = {https://researchr.org/publication/Glabbeek93%3A1},
  cites = {0},
  citedby = {0},
  pages = {75-82},
  booktitle = {Algebraic Methodology and Software Technology (AMAST  93), Proceedings of the Third International Conference on Methodology and Software Technology, University of Twente, Enschede, The Netherlands, 21-25 June, 1993},
  editor = {Maurice Nivat and Charles Rattray and Teodor Rus and Giuseppe Scollo},
  series = {Workshops in Computing},
  publisher = {Springer},
  isbn = {3-540-19852-0},
}

@inproceedings{BloomFG00,
  title = {Precongruence Formats for Decorated Trace Preorders},
  author = {Bard Bloom and Wan Fokkink and Rob J. van Glabbeek},
  year = {2000},
  url = {http://www.computer.org/proceedings/lics/0725/07250107abs.htm},
  researchr = {https://researchr.org/publication/BloomFG00},
  cites = {0},
  citedby = {0},
  pages = {107-118},
  booktitle = {LICS},
}

@inproceedings{GlabbeekS03,
  title = {Query Nets: Interacting Workflow Modules That Ensure Global Termination},
  author = {Rob J. van Glabbeek and David G. Stork},
  year = {2003},
  url = {http://link.springer.de/link/service/series/0558/bibs/2678/26780184.htm},
  tags = {termination, workflow},
  researchr = {https://researchr.org/publication/GlabbeekS03},
  cites = {0},
  citedby = {0},
  pages = {184-199},
  booktitle = {Business Process Management, International Conference, BPM 2003, Eindhoven, The Netherlands, June 26-27, 2003, Proceedings},
  editor = {Wil M. P. van der Aalst and Arthur H. M. ter Hofstede and Mathias Weske},
  volume = {2678},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-40318-3},
}

@inproceedings{GlabbeekW89,
  title = {Branching Time and Abstraction in Bisimulation Semantics (Extended Abstract)},
  author = {Rob J. van Glabbeek and W. P. Weijland},
  year = {1989},
  tags = {semantics, abstraction},
  researchr = {https://researchr.org/publication/GlabbeekW89},
  cites = {0},
  citedby = {0},
  pages = {613-618},
  booktitle = {IFIP Congress},
}

@inproceedings{GlabbeekP08:0,
  title = {Five Determinisation Algorithms},
  author = {Rob J. van Glabbeek and Bas Ploeger},
  year = {2008},
  doi = {10.1007/978-3-540-70844-5_17},
  url = {http://dx.doi.org/10.1007/978-3-540-70844-5_17},
  researchr = {https://researchr.org/publication/GlabbeekP08%3A0},
  cites = {0},
  citedby = {0},
  pages = {161-170},
  booktitle = {Implementation and Applications of Automata, 13th International Conference, CIAA 2008, San Francisco, California, USA, July 21-24, 2008. Proceedings},
  editor = {Oscar H. Ibarra and Bala Ravikumar},
  volume = {5148},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-540-70843-8},
}

@inproceedings{Glabbeek05:0,
  title = {The Individual and Collective Token Interpretations of Petri Nets},
  author = {Rob J. van Glabbeek},
  year = {2005},
  doi = {10.1007/11539452_26},
  url = {http://dx.doi.org/10.1007/11539452_26},
  researchr = {https://researchr.org/publication/Glabbeek05%3A0},
  cites = {0},
  citedby = {0},
  pages = {323-337},
  booktitle = {CONCUR 2005 - Concurrency Theory, 16th International Conference, CONCUR 2005, San Francisco, CA, USA, August 23-26, 2005, Proceedings},
  editor = {Martín Abadi and Luca de Alfaro},
  volume = {3653},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-28309-9},
}

@inproceedings{Glabbeek97,
  title = {Axiomatizing Flat Iteration},
  author = {Rob J. van Glabbeek},
  year = {1997},
  researchr = {https://researchr.org/publication/Glabbeek97},
  cites = {0},
  citedby = {0},
  pages = {228-242},
  booktitle = {CONCUR  97: Concurrency Theory, 8th International Conference, Warsaw, Poland, July 1-4, 1997, Proceedings},
  editor = {Antoni W. Mazurkiewicz and Józef Winkowski},
  volume = {1243},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-63141-0},
}

@inproceedings{DengGMZ07,
  title = {Scalar Outcomes Suffice for Finitary Probabilistic Testing},
  author = {Yuxin Deng and Rob J. van Glabbeek and Carroll Morgan and Chenyi Zhang},
  year = {2007},
  doi = {10.1007/978-3-540-71316-6_25},
  url = {http://dx.doi.org/10.1007/978-3-540-71316-6_25},
  tags = {testing},
  researchr = {https://researchr.org/publication/DengGMZ07},
  cites = {0},
  citedby = {0},
  pages = {363-378},
  booktitle = {Programming Languages and Systems, 16th European Symposium on Programming, ESOP 2007, Held as Part of the Joint European Conferences on Theory and Practics of Software, ETAPS 2007, Braga, Portugal, March 24 - April 1, 2007, Proceedings},
  editor = {Rocco De Nicola},
  volume = {4421},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-540-71314-2},
}

@article{Glabbeek04,
  title = {The meaning of negative premises in transition system specifications II},
  author = {Rob J. van Glabbeek},
  year = {2004},
  doi = {10.1016/j.jlap.2004.03.007},
  url = {http://dx.doi.org/10.1016/j.jlap.2004.03.007},
  researchr = {https://researchr.org/publication/Glabbeek04},
  cites = {0},
  citedby = {0},
  journal = {Journal of Logic and Algebraic Programming},
  volume = {60-61},
  pages = {229-258},
}

@inproceedings{Glabbeek90,
  title = {The Linear Time-Branching Time Spectrum (Extended Abstract)},
  author = {Rob J. van Glabbeek},
  year = {1990},
  researchr = {https://researchr.org/publication/Glabbeek90},
  cites = {0},
  citedby = {0},
  pages = {278-297},
  booktitle = {CONCUR  90, Theories of Concurrency: Unification and Extension, Amsterdam, The Netherlands, August 27-30, 1990, Proceedings},
  editor = {Jos C. M. Baeten and Jan Willem Klop},
  volume = {458},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-53048-7},
}

@article{Glabbeek94,
  title = {What is Branching time semantics and why to use it?},
  author = {Rob J. van Glabbeek},
  year = {1994},
  tags = {semantics},
  researchr = {https://researchr.org/publication/Glabbeek94},
  cites = {0},
  citedby = {0},
  journal = {Bulletin of the EATCS},
  volume = {53},
  pages = {191-198},
}

@inproceedings{GlabbeekG89:0,
  title = {Refinement of Actions in Causality Based Models},
  author = {Rob J. van Glabbeek and Ursula Goltz},
  year = {1989},
  tags = {rule-based, refinement},
  researchr = {https://researchr.org/publication/GlabbeekG89%3A0},
  cites = {0},
  citedby = {0},
  pages = {267-300},
  booktitle = {Stepwise Refinement of Distributed Systems, Models, Formalisms, Correctness, REX Workshop, Mook, The Netherlands, May 29 - June 2, 1989, Proceedings},
  editor = {J. W. de Bakker and Willem P. de Roever and Grzegorz Rozenberg},
  volume = {430},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-52559-9},
}

@inproceedings{GlabbeekR98,
  title = {Scheduling Algebra},
  author = {Rob J. van Glabbeek and Peter Rittgen},
  year = {1998},
  url = {http://link.springer.de/link/service/series/0558/bibs/1548/15480278.htm},
  tags = { algebra},
  researchr = {https://researchr.org/publication/GlabbeekR98},
  cites = {0},
  citedby = {0},
  pages = {278-292},
  booktitle = {Algebraic Methodology and Software Technology, 7th International Conference, AMAST  98, Amazonia, Brasil, January 4-8, 1999, Proceedings},
  editor = {Armando Martin Haeberer},
  volume = {1548},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-65462-3},
}

@inproceedings{Glabbeek93,
  title = {The Linear Time - Branching Time Spectrum {II}},
  author = {Rob J. van Glabbeek},
  year = {1993},
  researchr = {https://researchr.org/publication/Glabbeek93},
  cites = {0},
  citedby = {0},
  pages = {66-81},
  booktitle = {CONCUR  93, 4th International Conference on Concurrency Theory, Hildesheim, Germany, August 23-26, 1993, Proceedings},
  editor = {Eike Best},
  volume = {715},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-57208-2},
}

@inproceedings{BusiGG94,
  title = {Axiomatising ST-Bisimulation Equivalence},
  author = {Nadia Busi and Rob J. van Glabbeek and Roberto Gorrieri},
  year = {1994},
  researchr = {https://researchr.org/publication/BusiGG94},
  cites = {0},
  citedby = {0},
  pages = {169-188},
  booktitle = {Programming Concepts, Methods and Calculi, Proceedings of the IFIP TC2/WG2.1/WG2.2/WG2.3 Working Conference on Programming Concepts, Methods and Calculi (PROCOMET  94) San Miniato, Italy, 6-10 June, 1994},
  editor = {Ernst-Rüdiger Olderog},
  volume = {A-56},
  series = {IFIP Transactions},
  publisher = {North-Holland},
  isbn = {0-444-82020-5},
}

@inproceedings{ChenFG09,
  title = {On Finite Bases for Weak Semantics: Failures Versus Impossible Futures},
  author = {Taolue Chen and Wan Fokkink and Rob J. van Glabbeek},
  year = {2009},
  doi = {10.1007/978-3-540-95891-8_18},
  url = {http://dx.doi.org/10.1007/978-3-540-95891-8_18},
  tags = {semantics},
  researchr = {https://researchr.org/publication/ChenFG09},
  cites = {0},
  citedby = {0},
  pages = {167-180},
  booktitle = {SOFSEM 2009: Theory and Practice of Computer Science, 35th Conference on Current Trends in Theory and Practice of Computer Science, Spindleruv Mlýn, Czech Republic, January 24-30, 2009. Proceedings},
  editor = {Mogens Nielsen and Antonín Kucera and Peter Bro Miltersen and Catuscia Palamidessi and Petr Tuma and Frank D. Valencia},
  volume = {5404},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-540-95890-1},
}

@article{Glabbeek06:0,
  title = {On Specifying Timeouts},
  author = {Rob J. van Glabbeek},
  year = {2006},
  doi = {10.1016/j.entcs.2005.12.083},
  url = {http://dx.doi.org/10.1016/j.entcs.2005.12.083},
  researchr = {https://researchr.org/publication/Glabbeek06%3A0},
  cites = {0},
  citedby = {0},
  journal = {Electronic Notes in Theoretical Computer Science},
  volume = {162},
  pages = {173-175},
}

@inproceedings{Glabbeek87,
  title = {Bounded Nondeterminism and the Approximation Induction Principle in Process Algebra},
  author = {Rob J. van Glabbeek},
  year = {1987},
  tags = {process algebra,  algebra},
  researchr = {https://researchr.org/publication/Glabbeek87},
  cites = {0},
  citedby = {0},
  pages = {336-347},
  booktitle = {STACS 87, 4th Annual Symposium on Theoretical Aspects of Computer Science, Passau, Germany, February 19-21, 1987, Proceedings},
  editor = {Franz-Josef Brandenburg and Guy Vidal-Naquet and Martin Wirsing},
  volume = {247},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-17219-X},
}

@inproceedings{FokkinkGW03,
  title = {Compositionality of Hennessy-Milner Logic through Structural Operational Semantics},
  author = {Wan Fokkink and Rob J. van Glabbeek and Paulien de Wind},
  year = {2003},
  url = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2751&spage=412},
  tags = {semantics,  structural operational semantics, composition, operational semantics, logic},
  researchr = {https://researchr.org/publication/FokkinkGW03},
  cites = {0},
  citedby = {0},
  pages = {412-422},
  booktitle = {Fundamentals of Computation Theory, 14th International Symposium, FCT 2003, Malmö, Sweden, August 12-15, 2003, Proceedings},
  editor = {Andrzej Lingas and Bengt J. Nilsson},
  volume = {2751},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-40543-7},
}

@article{DengGHMZ07:0,
  title = {Remarks on Testing Probabilistic Processes},
  author = {Yuxin Deng and Rob J. van Glabbeek and Matthew Hennessy and Carroll Morgan and Chenyi Zhang},
  year = {2007},
  doi = {10.1016/j.entcs.2007.02.013},
  url = {http://dx.doi.org/10.1016/j.entcs.2007.02.013},
  tags = {testing},
  researchr = {https://researchr.org/publication/DengGHMZ07%3A0},
  cites = {0},
  citedby = {0},
  journal = {Electronic Notes in Theoretical Computer Science},
  volume = {172},
  pages = {359-397},
}

@inproceedings{GlabbeekP08,
  title = {Correcting a Space-Efficient Simulation Algorithm},
  author = {Rob J. van Glabbeek and Bas Ploeger},
  year = {2008},
  doi = {10.1007/978-3-540-70545-1_49},
  url = {http://dx.doi.org/10.1007/978-3-540-70545-1_49},
  researchr = {https://researchr.org/publication/GlabbeekP08},
  cites = {0},
  citedby = {0},
  pages = {517-529},
  booktitle = {Computer Aided Verification, 20th International Conference, CAV 2008, Princeton, NJ, USA, July 7-14, 2008, Proceedings},
  editor = {Aarti Gupta and Sharad Malik},
  volume = {5123},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-540-70543-7},
}

@inproceedings{Glabbeek93:0,
  title = {A Complete Axiomatization for Branching Bisimulation Congruence of Finite-State Behaviours},
  author = {Rob J. van Glabbeek},
  year = {1993},
  tags = {completeness},
  researchr = {https://researchr.org/publication/Glabbeek93%3A0},
  cites = {0},
  citedby = {0},
  pages = {473-484},
  booktitle = {Mathematical Foundations of Computer Science 1993, 18th International Symposium, MFCS 93, Gdansk, Poland, August 30 - September 3, 1993, Proceedings},
  editor = {Andrzej M. Borzyszkowski and Stefan Sokolowski},
  volume = {711},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-57182-5},
}

@article{GlabbeekG01,
  title = {Refinement of actions and equivalence notions for concurrent systems},
  author = {Rob J. van Glabbeek and Ursula Goltz},
  year = {2001},
  url = {http://link.springer.de/link/service/journals/00236/bibs/1037004/10370229.htm},
  tags = {refinement},
  researchr = {https://researchr.org/publication/GlabbeekG01},
  cites = {0},
  citedby = {0},
  journal = {Acta Informatica},
  volume = {37},
  number = {4/5},
  pages = {229-327},
}

@article{cs-LO-0204039,
  title = {Precongruence Formats for Decorated Trace Semantics},
  author = {Bard Bloom and Wan Fokkink and Rob J. van Glabbeek},
  year = {2002},
  url = {http://arxiv.org/abs/cs.LO/0204039},
  note = {informal publication},
  tags = {semantics},
  researchr = {https://researchr.org/publication/cs-LO-0204039},
  cites = {0},
  citedby = {0},
  journal = {CoRR},
  volume = {cs.LO/0204039},
}

@inproceedings{StorkG02,
  title = {Token-Controlled Place Refinement in Hierarchical Petri Nets with Application to Active Document Workflow},
  author = {David G. Stork and Rob J. van Glabbeek},
  year = {2002},
  url = {http://link.springer.de/link/service/series/0558/bibs/2360/23600394.htm},
  tags = {refinement, workflow},
  researchr = {https://researchr.org/publication/StorkG02},
  cites = {0},
  citedby = {0},
  pages = {394-413},
  booktitle = {Applications and Theory of Petri Nets 2002, 23rd International Conference, ICATPN 2002, Adelaide, Australia, June 24-30, 2002, Proceedings},
  editor = {Javier Esparza and Charles Lakos},
  volume = {2360},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-43787-8},
}

@article{abs-0812-3068,
  title = {Branching Bisimilarity with Explicit Divergence},
  author = {Rob J. van Glabbeek and Bas Luttik and Nikola Trcka},
  year = {2008},
  url = {http://arxiv.org/abs/0812.3068},
  note = {informal publication},
  researchr = {https://researchr.org/publication/abs-0812-3068},
  cites = {0},
  citedby = {0},
  journal = {CoRR},
  volume = {abs/0812.3068},
}

@inproceedings{GlabbeekSST90,
  title = {Reactive, Generative, and Stratified Models of Probabilistic Processes},
  author = {Rob J. van Glabbeek and Scott A. Smolka and Bernhard Steffen and Chris M. N. Tofts},
  year = {1990},
  tags = {modeling, process modeling},
  researchr = {https://researchr.org/publication/GlabbeekSST90},
  cites = {0},
  citedby = {0},
  pages = {130-141},
  booktitle = {Proceedings, Fifth Annual IEEE Symposium on Logic in Computer Science, 4-7 June 1990, Philadelphia, Pennsylvania, USA},
  publisher = {IEEE Computer Society},
}

@inproceedings{DengGHMZ07,
  title = {Characterising Testing Preorders for Finite Probabilistic Processes},
  author = {Yuxin Deng and Rob J. van Glabbeek and Matthew Hennessy and Carroll Morgan and Chenyi Zhang},
  year = {2007},
  doi = {10.1109/LICS.2007.15},
  url = {http://doi.ieeecomputersociety.org/10.1109/LICS.2007.15},
  tags = {testing},
  researchr = {https://researchr.org/publication/DengGHMZ07},
  cites = {0},
  citedby = {0},
  pages = {313-325},
  booktitle = {22nd IEEE Symposium on Logic in Computer Science (LICS 2007), 10-12 July 2007, Wroclaw, Poland, Proceedings},
  publisher = {IEEE Computer Society},
}

@inproceedings{GlabbeeckG90,
  title = {Equivalences and Refinement},
  author = {Rob J. van Glabbeek and Ursula Goltz},
  year = {1990},
  tags = {refinement},
  researchr = {https://researchr.org/publication/GlabbeeckG90},
  cites = {0},
  citedby = {0},
  pages = {309-333},
  booktitle = {Semantics of Systems of Concurrent Processes, LITP Spring School on Theoretical Computer Science, La Roche Posay, France, April 23-27, 1990, Proceedings},
  editor = {Irène Guessarian},
  volume = {469},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-53479-2},
}

@article{Glabbeek06,
  title = {On the expressiveness of higher dimensional automata},
  author = {Rob J. van Glabbeek},
  year = {2006},
  doi = {10.1016/j.tcs.2006.02.012},
  url = {http://dx.doi.org/10.1016/j.tcs.2006.02.012},
  researchr = {https://researchr.org/publication/Glabbeek06},
  cites = {0},
  citedby = {0},
  journal = {Theoretical Computer Science},
  volume = {356},
  number = {3},
  pages = {265-290},
}

@article{AcetoGFI96,
  title = {Axiomatizing Prefix Iteration with Silent Steps},
  author = {Luca Aceto and Rob J. van Glabbeek and Wan Fokkink and Anna Ingólfsdóttir},
  year = {1996},
  researchr = {https://researchr.org/publication/AcetoGFI96},
  cites = {0},
  citedby = {0},
  journal = {Inf. Comput.},
  volume = {127},
  number = {1},
  pages = {26-40},
}

@article{GlabbeekV97,
  title = {The Difference between Splitting in n and n+1},
  author = {Rob J. van Glabbeek and Frits W. Vaandrager},
  year = {1997},
  researchr = {https://researchr.org/publication/GlabbeekV97},
  cites = {0},
  citedby = {0},
  journal = {Inf. Comput.},
  volume = {136},
  number = {2},
  pages = {109-142},
}

@article{Glabbeek97:0,
  title = {Notes on the Methodology of CCS and CSP},
  author = {Rob J. van Glabbeek},
  year = {1997},
  doi = {10.1016/S0304-3975(96)00251-4},
  url = {http://dx.doi.org/10.1016/S0304-3975(96)00251-4},
  researchr = {https://researchr.org/publication/Glabbeek97%3A0},
  cites = {0},
  citedby = {0},
  journal = {Theoretical Computer Science},
  volume = {177},
  number = {2},
  pages = {329-349},
}

@inproceedings{GlabbeekV87:0,
  title = {Petri Net Models for Algebraic Theories of Concurrency},
  author = {Rob J. van Glabbeek and Frits W. Vaandrager},
  year = {1987},
  tags = { algebra},
  researchr = {https://researchr.org/publication/GlabbeekV87%3A0},
  cites = {0},
  citedby = {0},
  pages = {224-242},
  booktitle = {PARLE, Parallel Architectures and Languages Europe, Volume II: Parallel Languages, Eindhoven, The Netherlands, June 15-19, 1987, Proceedings},
  editor = {J. W. de Bakker and A. J. Nijman and Philip C. Treleaven},
  volume = {259},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-17945-3},
}

@inproceedings{BaetenG87,
  title = {Merge and Termination in Process Algebra},
  author = {Jos C. M. Baeten and Rob J. van Glabbeek},
  year = {1987},
  tags = {process algebra, termination, C++,  algebra},
  researchr = {https://researchr.org/publication/BaetenG87},
  cites = {0},
  citedby = {0},
  pages = {153-172},
  booktitle = {Foundations of Software Technology and Theoretical Computer Science, Seventh Conference, Pune, India, December 17-19, 1987, Proceedings},
  editor = {Kesav V. Nori},
  volume = {287},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-18625-5},
}

@article{AcetoFGI04,
  title = {Nested semantics over finite trees are equationally hard},
  author = {Luca Aceto and Wan Fokkink and Rob J. van Glabbeek and Anna Ingólfsdóttir},
  year = {2004},
  doi = {10.1016/j.ic.2004.02.001},
  url = {http://dx.doi.org/10.1016/j.ic.2004.02.001},
  tags = {semantics},
  researchr = {https://researchr.org/publication/AcetoFGI04},
  cites = {0},
  citedby = {0},
  journal = {Inf. Comput.},
  volume = {191},
  number = {2},
  pages = {203-232},
}

@article{FokkinkGW06:0,
  title = {Compositionality of Hennessy-Milner logic by structural operational semantics},
  author = {Wan Fokkink and Rob J. van Glabbeek and Paulien de Wind},
  year = {2006},
  doi = {10.1016/j.tcs.2005.11.035},
  url = {http://dx.doi.org/10.1016/j.tcs.2005.11.035},
  tags = {semantics,  structural operational semantics, composition, operational semantics, logic},
  researchr = {https://researchr.org/publication/FokkinkGW06%3A0},
  cites = {0},
  citedby = {0},
  journal = {Theoretical Computer Science},
  volume = {354},
  number = {3},
  pages = {421-440},
}

@inproceedings{Glabbeek05,
  title = {On Cool Congruence Formats for Weak Bisimulations},
  author = {Rob J. van Glabbeek},
  year = {2005},
  doi = {10.1007/11560647_21},
  url = {http://dx.doi.org/10.1007/11560647_21},
  researchr = {https://researchr.org/publication/Glabbeek05},
  cites = {0},
  citedby = {0},
  pages = {318-333},
  booktitle = {Theoretical Aspects of Computing - ICTAC 2005, Second International Colloquium, Hanoi, Vietnam, October 17-21, 2005, Proceedings},
  editor = {Dang Van Hung and Martin Wirsing},
  volume = {3722},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-29107-5},
}

@article{GlabbeekH07,
  title = {Preface},
  author = {Rob J. van Glabbeek and Matthew Hennessy},
  year = {2007},
  doi = {10.1016/j.entcs.2007.10.001},
  url = {http://dx.doi.org/10.1016/j.entcs.2007.10.001},
  researchr = {https://researchr.org/publication/GlabbeekH07},
  cites = {0},
  citedby = {0},
  journal = {Electronic Notes in Theoretical Computer Science},
  volume = {192},
  number = {1},
  pages = {1-3},
}

@article{BloomFG04,
  title = {Precongruence formats for decorated trace semantics},
  author = {Bard Bloom and Wan Fokkink and Rob J. van Glabbeek},
  year = {2004},
  doi = {10.1145/963927.963929},
  url = {http://doi.acm.org/10.1145/963927.963929},
  tags = {semantics},
  researchr = {https://researchr.org/publication/BloomFG04},
  cites = {0},
  citedby = {0},
  journal = {ACM Trans. Comput. Log.},
  volume = {5},
  number = {1},
  pages = {26-78},
}

@inproceedings{GlabbeekGS08,
  title = {On Synchronous and Asynchronous Interaction in Distributed Systems},
  author = {Rob J. van Glabbeek and Ursula Goltz and Jens-Wolfhard Schicke},
  year = {2008},
  doi = {10.1007/978-3-540-85238-4_2},
  url = {http://dx.doi.org/10.1007/978-3-540-85238-4_2},
  researchr = {https://researchr.org/publication/GlabbeekGS08},
  cites = {0},
  citedby = {0},
  pages = {16-35},
  booktitle = {Mathematical Foundations of Computer Science 2008, 33rd International Symposium, MFCS 2008, Torun, Poland, August 25-29, 2008, Proceedings},
  editor = {Edward Ochmanski and Jerzy Tyszkiewicz},
  volume = {5162},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-540-85237-7},
}

@article{GlabbeekM09,
  title = {Special issue on structural operational semantics},
  author = {Rob J. van Glabbeek and Peter D. Mosses},
  year = {2009},
  doi = {10.1016/j.ic.2008.10.006},
  url = {http://dx.doi.org/10.1016/j.ic.2008.10.006},
  tags = {semantics,  structural operational semantics, operational semantics},
  researchr = {https://researchr.org/publication/GlabbeekM09},
  cites = {0},
  citedby = {0},
  journal = {Inf. Comput.},
  volume = {207},
  number = {2},
  pages = {83-84},
}

@article{GlabbeekW96,
  title = {Branching Time and Abstraction in Bisimulation Semantics},
  author = {Rob J. van Glabbeek and W. P. Weijland},
  year = {1996},
  doi = {10.1145/233551.233556},
  url = {http://doi.acm.org/10.1145/233551.233556},
  tags = {semantics, abstraction},
  researchr = {https://researchr.org/publication/GlabbeekW96},
  cites = {0},
  citedby = {0},
  journal = {Journal of the ACM},
  volume = {43},
  number = {3},
  pages = {555-600},
}

@article{GlabbeekG04,
  title = {Well-behaved flow event structures for parallel composition and action refinement},
  author = {Rob J. van Glabbeek and Ursula Goltz},
  year = {2004},
  doi = {10.1016/j.tcs.2003.10.031},
  url = {http://dx.doi.org/10.1016/j.tcs.2003.10.031},
  tags = {refinement, composition, data-flow},
  researchr = {https://researchr.org/publication/GlabbeekG04},
  cites = {0},
  citedby = {0},
  journal = {Theoretical Computer Science},
  volume = {311},
  number = {1-3},
  pages = {463-478},
}

@inproceedings{BaetenG87:0,
  title = {Another Look at Abstraction in Process Algebra (Extended Abstract)},
  author = {Jos C. M. Baeten and Rob J. van Glabbeek},
  year = {1987},
  tags = {process algebra, C++,  algebra, abstraction},
  researchr = {https://researchr.org/publication/BaetenG87%3A0},
  cites = {0},
  citedby = {0},
  pages = {84-94},
  booktitle = {Automata, Languages and Programming, 14th International Colloquium, ICALP87, Karlsruhe, Germany, July 13-17, 1987, Proceedings},
  editor = {Thomas Ottmann},
  volume = {267},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-18088-5},
}