@article(AB84,
 author       = {D. Austry and G. Boudol},
 year         = {1984},
 title        = {Alg\`{e}bre de processus et synchronisations},
 journal      = {Theoretical Computer Science},
 volume       = {30},
 number       = {1},
 pages        = {91--131},
 doi          = {10.1016/0304-3975(84)90067-7},
)
@article(BBB07,
 author       = {P. Baldan and A. Bracciali and R. Bruni},
 year         = {2007},
 title        = {A semantic framework for open processes},
 journal      = {Theoretical Computer Science},
 volume       = {389},
 number       = {3},
 pages        = {446--483},
 doi          = {10.1016/j.tcs.2007.09.004},
)
@inproceedings(BK84,
 author       = {J.A. Bergstra and J.W. Klop},
 year         = {1984},
 title        = {The algebra of recursively defined processes and the algebra of regular processes},
 editor       = {J. Paredaens},
 booktitle    = {{\rm Proceedings $11^{th}$ ICALP}, {\em Antwerpen}},
 series       = {\rm LNCS},
 volume       = {172},
 publisher    = {Springer},
 pages        = {82--94},
 doi          = {10.1007/3-540-13345-3\_7},
)
@techreport(BrGH16b,
 author       = {E. Bres and R.J. van Glabbeek and P. H{\"o}fner},
 year         = {2016},
 title        = {A Timed Process Algebra for Wireless Networks with an Application in Routing},
 type         = {Technical Report},
 number       = {9145},
 institution  = {NICTA},
 url          = {http://arxiv.org/abs/1606.03663},
 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}}, LNCS 9632, Springer, 2016, pp. 95-122},
)
@article(BHR84,
 author       = {S.D. Brookes and C.A.R. Hoare and A.W. Roscoe},
 year         = {1984},
 title        = {A theory of communicating sequential processes},
 journal      = {Journal of the ACM},
 volume       = {31},
 number       = {3},
 pages        = {560--599},
 doi          = {10.1145/828.833},
)
@book(Fok00,
 author       = {W.J. Fokkink},
 year         = {2000},
 title        = {Introduction to Process Algebra},
 series       = {Texts in Theoretical Computer Science, An EATCS Series},
 publisher    = {Springer},
 doi          = {10.1007/978-3-662-04293-9},
)
@inproceedings(FGL17a,
 author       = {W.J. Fokkink and R.J. van Glabbeek and B. Luttik},
 year         = {2017},
 title        = {Divide and Congruence III: Stability \& Divergence},
 editor       = {R. Meyer and U. Nestmann},
 booktitle    = {{\rm Proceedings 28th International Conference on} Concurrency Theory, {\rm CONCUR'17}},
 series       = {Leibniz International Proceedings in Informatics (LIPIcs)},
 volume       = {85},
 publisher    = {Schloss Dagstuhl--Leibniz-Zentrum f\"ur Informatik},
 address      = {Dagstuhl, Germany},
 pages        = {15:1--15:16},
 doi          = {10.4230/LIPIcs.CONCUR.2017.15},
 url          = {http://theory.stanford.edu/~rvg/abstracts.html#124},
)
@inproceedings(GM00,
 author       = {F. Gadducci and U. Montanari},
 year         = {2000},
 title        = {The tile model},
 editor       = {G.D. Plotkin and C. Stirling and M. Tofte},
 booktitle    = {Proof, Language, and Interaction, Essays in Honour of Robin Milner},
 publisher    = {The {MIT} Press},
 pages        = {133--166},
)
@inproceedings(vG93d,
 author       = {R.J. van Glabbeek},
 year         = {1993},
 title        = {Full abstraction in structural operational semantics (extended abstract)},
 editor       = {M. Nivat and C. Rattray and T. Rus and G. Scollo},
 booktitle    = {{\rm Proceedings $3^{rd}$ International Conference on} Algebraic Methodology and Software Technology, {\rm AMAST'93, Twente, The Netherlands, June l993}},
 series       = {Workshops in Computing},
 publisher    = {Springer},
 pages        = {77--84},
 url          = {http://theory.stanford.edu/~rvg/abstracts.html#28},
)
@inproceedings(vG94,
 author       = {R.J. van Glabbeek},
 year         = {1994},
 title        = {On the expressiveness of {ACP} (extended abstract)},
 editor       = {A. Ponse and C. Verhoef and S.F.M. van Vlijmen},
 booktitle    = {{\rm Proceedings First Workshop on the} Algebra of Communicating Processes, {\rm ACP94}},
 series       = {Workshops in Computing},
 publisher    = {Springer},
 pages        = {188--217},
 doi          = {10.1007/978-1-4471-2120-6\_8},
 url          = {http://theory.stanford.edu/~rvg/abstracts.html#31},
)
@article(vG04,
 author       = {R.J. van Glabbeek},
 year         = {2004},
 title        = {The Meaning of Negative Premises in Transition System Specifications {II}},
 journal      = {Journal of Logic and Algebraic Programming},
 volume       = {60--61},
 pages        = {229--258},
 doi          = {10.1016/j.jlap.2004.03.007},
 url          = {http://theory.stanford.edu/~rvg/abstracts.html#53},
)
@incollection(vG00,
 author       = {R.J. van Glabbeek},
 year         = {2011},
 title        = {Bisimulation},
 editor       = {D. Padua},
 booktitle    = {Encyclopedia of Parallel Computing},
 publisher    = {Springer},
 pages        = {136--139},
 doi          = {10.1007/978-0-387-09766-4\_149},
 url          = {http://theory.stanford.edu/~rvg/abstracts.html#45},
)
@inproceedings(vG17b,
 author       = {R.J. van Glabbeek},
 year         = {2017},
 title        = {Lean and Full Congruence Formats for Recursion},
 booktitle    = {{\rm Proceedings $32^{nd}$ Annual ACM/IEEE Symposium on} Logic in Computer Science, {\rm LICS'17, Reykjavik, Iceland, 2017}},
 publisher    = {IEEE Computer Society Press},
 doi          = {10.1109/LICS.2017.8005142},
 url          = {https://arxiv.org/abs/1704.03160},
)
@inproceedings(vG18b,
 author       = {R.J. van Glabbeek},
 year         = {2018},
 title        = {A Theory of Encodings and Expressiveness},
 editor       = {C. Baier and U. Dal Lago},
 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}},
 series       = {\rm LNCS},
 volume       = {10803},
 publisher    = {Springer},
 pages        = {183--202},
 doi          = {10.1007/978-3-319-89366-2\_10},
)
@article(Gr93,
 author       = {J.F. Groote},
 year         = {1993},
 title        = {Transition System Specifications with Negative Premises},
 journal      = {Theoretical Computer Science},
 volume       = {118},
 pages        = {263--299},
 doi          = {10.1016/0304-3975(93)90111-6},
)
@article(GrV92,
 author       = {J.F. Groote and F.W. Vaandrager},
 year         = {1992},
 title        = {Structured Operational Semantics and Bisimulation as a Congruence},
 journal      = {Information and Computation},
 volume       = {100},
 number       = {2},
 pages        = {202--260},
 doi          = {10.1016/0890-5401(92)90013-6},
)
@article(LL91,
 author       = {K.G. Larsen and X. Liu},
 year         = {1991},
 title        = {Compositionality through an Operational Semantics of Contexts},
 journal      = {Journal of Logic and Computation},
 volume       = {1},
 number       = {6},
 pages        = {761--795},
 doi          = {10.1093/logcom/1.6.761},
)
@article(LV96,
 author       = {N.A. Lynch and F.W. Vaandrager},
 year         = {1996},
 title        = {Action Transducers and Timed Automata},
 journal      = {Formal Aspects of Computing},
 volume       = {8},
 number       = {5},
 pages        = {499--538},
 doi          = {10.1007/BF01211907},
)
@book(Ma77,
 author       = {Y.I. Manin},
 year         = {1977},
 title        = {A Course in Mathematical Logic},
 series       = {Graduate Texts in Mathematics},
 volume       = {53},
 publisher    = {Springer},
 doi          = {10.1007/978-1-4757-4385-2},
)
@article(Mi83,
 author       = {R. Milner},
 year         = {1983},
 title        = {Calculi for synchrony and asynchrony},
 journal      = {Theoretical Computer Science},
 volume       = {25},
 number       = {3},
 pages        = {267--310},
 doi          = {10.1016/0304-3975(83)90114-7},
)
@incollection(Mi90ccs,
 author       = {R. Milner},
 year         = {1990},
 title        = {Operational and algebraic semantics of concurrent processes},
 editor       = {J. van Leeuwen},
 booktitle    = {Handbook of Theoretical Computer Science},
 chapter      = {19},
 publisher    = {Elsevier Science Publishers B.V. (North-Holland)},
 pages        = {1201--1242},
 note         = {Alternatively see{ \em Communication and Concurrency}, Prentice-Hall, Englewood Cliffs, 1989, of which an earlier version appeared as{ \em A Calculus of Communicating Systems}, LNCS 92, Springer, 1980},
)
@article(Pl04,
 author       = {G.D. Plotkin},
 year         = {2004},
 title        = {A Structural Approach to Operational Semantics},
 journal      = {Journal of Logic and Algebraic Programming},
 volume       = {60--61},
 pages        = {17--139},
 doi          = {10.1016/j.jlap.2004.05.001},
 note         = {Originally appeared in 1981},
)
@article(Re00,
 author       = {A. Rensink},
 year         = {2000},
 title        = {Bisimilarity of Open Terms},
 journal      = {Information and Computation},
 volume       = {156},
 number       = {1-2},
 pages        = {345--385},
 doi          = {10.1006/inco.1999.2818},
)
@article(dS85,
 author       = {R. de Simone},
 year         = {1985},
 title        = {Higher-level synchronising devices in {{\sc Meije}-SCCS}},
 journal      = {Theoretical Computer Science},
 volume       = {37},
 pages        = {245--267},
 doi          = {10.1016/0304-3975(85)90093-3},
)