@incollection(AFV00,
 author       = {L. Aceto and W. Fokkink and C. Verhoef},
 year         = {2000},
 title        = {Structural Operational Semantics},
 editor       = {J. Bergstra and A. Ponse and S. Smolka},
 booktitle    = {Handbook of Process Algebra},
 chapter      = {3},
 publisher    = {Springer},
 pages        = {197--292},
)
@article(AB84,
 author       = {D. Austry and G. Boudol},
 year         = {1984},
 title        = {Alg{\`{e}}bre de Processus et Synchronisation},
 journal      = {Theoretical Computer Science},
 volume       = {30},
 pages        = {91--131},
 doi          = {10.1016/0304-3975(84)90067-7},
)
@book(BW90,
 author       = {J.C.M. Baeten and W.P. Weijland},
 year         = {1990},
 title        = {Process Algebra},
 series       = {Cambridge Tracts in Theoretical Computer Science 18},
 publisher    = {Cambridge University Press},
 doi          = {10.1017/CBO9780511624193},
)
@inproceedings(Be88b,
 author       = {J.A. Bergstra},
 year         = {1988},
 title        = {{ACP} with signals},
 editor       = {J. Grabowski and P. Lescanne and W. Wechler},
 booktitle    = {{\rm Proc.\ International Workshop on} Algebraic and Logic Programming},
 series       = {\rm LNCS},
 volume       = {343},
 publisher    = {Springer},
 pages        = {11--20},
 doi          = {10.1007/3-540-50667-5\_53},
)
@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},
)
@inproceedings(CDV09,
 author       = {F. Corradini and {Di Berardini}, M.R. and W. Vogler},
 year         = {2009},
 title        = {Time and Fairness in a Process Algebra with Non-blocking Reading},
 editor       = {M. Nielsen and A. Kucera and P.B. Miltersen and C. Palamidessi and P. Tuma and F.D. Valencia},
 booktitle    = {Theory and Practice of Computer Science, {\rm {SOFSEM}'09}},
 series       = {\rm LNCS},
 volume       = {5404},
 publisher    = {Springer},
 pages        = {193--204},
 doi          = {10.1007/978-3-540-95891-8\_20},
)
@inproceedings(EPTCS255.2,
 author       = {V. Dyseryn and R.J. van Glabbeek and P. H\"ofner},
 year         = {2017},
 title        = {Analysing Mutual Exclusion using Process Algebra with Signals},
 editor       = {K. Peters and S. Tini},
 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},
)
@inproceedings(vG94a,
 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 ACP'94, Utrecht, The Netherlands, May 1994}},
 series       = {Workshops in Computing},
 publisher    = {Springer},
 pages        = {188--217},
 doi          = {10.1007/978-1-4471-2120-6\_8},
)
@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 2017}},
 publisher    = {IEEE Computer Society Press},
 doi          = {10.1109/LICS.2017.8005142},
)
@inproceedings(vG19,
 author       = {R.J. van Glabbeek},
 year         = {2019},
 title        = {Justness: A Completeness Criterion for Capturing Liveness Properties (extended abstract)},
 editor       = {M. Boja\'nczyk and A. Simpson},
 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}},
 series       = {\rm LNCS},
 volume       = {11425},
 publisher    = {Springer},
 pages        = {505--522},
 doi          = {10.1007/978-3-030-17127-8\_29},
)
@techreport(GH15a,
 author       = {R.J. van Glabbeek and P. H{\"o}fner},
 year         = {2015},
 title        = {Progress, Fairness and Justness in Process Algebra},
 type         = {Technical Report},
 number       = {8501},
 institution  = {NICTA},
 address      = {Sydney, Australia},
 url          = {http://arxiv.org/abs/1501.03268},
)
@article(GH19,
 author       = {R.J. van Glabbeek and P. H{\"o}fner},
 year         = {2019},
 title        = {Progress, Justness and Fairness},
 journal      = {ACM Computing Surveys},
 volume       = {52},
 number       = {4},
 eid          = {69},
 doi          = {10.1145/3329125},
)
@inproceedings(GHW21ea,
 author       = {R.J. van Glabbeek and P. H{\"{o}}fner and W. Wang},
 year         = {2021},
 title        = {Enabling Preserving Bisimulation Equivalence},
 editor       = {S. Haddad and D. Varacca},
 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},
 doi          = {10.4230/LIPIcs.CONCUR.2021.33},
)
@misc(GHW21,
 author       = {R.J. van Glabbeek and P. H{\"{o}}fner and W. Wang},
 year         = {2021},
 title        = {Enabling Preserving Bisimulation Equivalence},
 url          = {https://arxiv.org/abs/2108.00142},
 note         = {Full version of \cite{GHW21ea}},
)
@misc(GHW23,
 author       = {R.J. van Glabbeek and P. H{\"{o}}fner and W. Wang},
 year         = {2023},
 title        = {A Lean-Congruence Format for EP-Bisimilarity},
 eprint       = {2308.16350},
 note         = {Full version of this paper},
)
@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},
)
@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, doi:\href{http:dx.doi.org/10.1007/3-540-10235-3}{10.1007/3-540-10235-3}},
)
@article(M83,
 author       = {R. Milner},
 year         = {1983},
 title        = {Calculi for Synchrony and Asynchrony},
 journal      = {Theoretical Computer Science},
 volume       = {25},
 pages        = {267--310},
 doi          = {10.1016/0304-3975(83)90114-7},
)
@article(MRG07,
 author       = {M.R. Mousavi and M.A. Reniers and J.F. Groote},
 year         = {2007},
 title        = {{SOS} formats and meta-theory: 20 years after},
 journal      = {Theoretical Computer Science},
 volume       = {373},
 number       = {3},
 pages        = {238--272},
 doi          = {10.1016/j.tcs.2006.12.019},
)
@inproceedings(Prasad91,
 author       = {K.V.S. Prasad},
 year         = {1991},
 title        = {A Calculus of Broadcasting Systems},
 editor       = {S. Abramsky and T.S.E. Maibaum},
 booktitle    = {{\rm Proceedings of the International Joint Conference on} Theory and Practice of Software Development, {\rm TAPSOFT'91}, Volume 1: Colloquium on Trees in Algebra and Programming, {\rm CAAP'91}},
 series       = {\rm LNCS},
 volume       = {493},
 publisher    = {Springer},
 pages        = {338--358},
 doi          = {10.1007/3-540-53982-4\_19},
)
@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},
)