@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 = {am},
}

@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 = {lics},
}

@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 = {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},
}

@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 = {ENTCS},
  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 = {apn},
}

@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 = {ipl},
  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 = {ENTCS},
  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},
}

@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 = {lics},
}

@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 = {tocl},
  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},
  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 = {amast},
}

@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 = {BPM},
}

@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},
}

@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 = {wia},
}

@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},
}

@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},
}

@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 = {ESOP},
}

@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 = {jlp},
  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},
}

@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 = {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 = {rex},
}

@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 = {amast},
}

@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},
}

@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 = {procomet},
}

@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},
}

@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 = {ENTCS},
  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},
}

@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 = {fct},
}

@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 = {ENTCS},
  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 = {cav},
}

@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 = {mfcs},
}

@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},
  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},
  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 = {apn},
}

@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},
  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 = {lics},
}

@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 = {lics},
}

@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 = {litp},
}

@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 = {TCS},
  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 = {iandc},
  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 = {iandc},
  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 = {TCS},
  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},
}

@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 = {fsttcs},
}

@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 = {iandc},
  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 = {TCS},
  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 = {ictac},
}

@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 = {ENTCS},
  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 = {tocl},
  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 = {mfcs},
}

@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 = {iandc},
  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 = {JACM},
  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 = {TCS},
  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 = {icalp},
}