@article(BBK86,
 author       = {J. C. M. Baeten and J. A. Bergstra and J. W. Klop},
 year         = {1986},
 title        = {Syntax and defining equations for an interrupt mechanism in process algebra},
 journal      = {Fundamenta Informaticae},
 volume       = {9},
 number       = {2},
 pages        = {127--167},
)
@article(BLT13,
 author       = {J. C. M. Baeten and B. Luttik and P. van Tilburg},
 year         = {2013},
 title        = {Reactive Turing machines},
 journal      = {Inf. Comput.},
 volume       = {231},
 pages        = {143--166},
 doi          = {10.1016/j.ic.2013.08.010},
)
@inproceedings(BLY17,
 author       = {J. C. M. Baeten and B. Luttik and F. Yang},
 year         = {2017},
 title        = {Sequential Composition in the Presence of Intermediate Termination (Extended Abstract)},
 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 {EXPRESS/SOS} 2017, Berlin, Germany, 4th September 2017}},
 series       = {{EPTCS}},
 volume       = {255},
 pages        = {1--17},
 doi          = {10.4204/EPTCS.255.1},
)
@inproceedings(BLB19,
 author       = {A. Belder and B. Luttik and J. C. M. Baeten},
 year         = {2019},
 title        = {Sequencing and Intermediate Acceptance: Axiomatisation and Decidability of Bisimilarity},
 editor       = {M. Roggenbach and A. Sokolova},
 booktitle    = {8th Conference on Algebra and Coalgebra in Computer Science, {CALCO} 2019, June 3-6, 2019, London, United Kingdom},
 series       = {LIPIcs},
 volume       = {139},
 publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
 pages        = {11:1--11:22},
 doi          = {10.4230/LIPIcs.CALCO.2019.11},
)
@article(Blo94,
 author       = {B. Bloom},
 year         = {1994},
 title        = {When is Partial Trace Equivalence Adequate?},
 journal      = {Formal Asp. Comput.},
 volume       = {6},
 number       = {3},
 pages        = {317--338},
 doi          = {10.1007/BF01215409},
)
@article(DV95,
 author       = {{De Nicola}, R. and F. W. Vaandrager},
 year         = {1995},
 title        = {Three Logics for Branching Bisimulation},
 journal      = {Journal of the ACM},
 volume       = {42},
 number       = {2},
 pages        = {458--487},
 doi          = {10.1145/201019.201032},
)
@article(EC82,
 author       = {E. A. Emerson and E. M. Clarke},
 year         = {1982},
 title        = {Using Branching Time Temporal Logic to Synthesize Synchronization Skeletons},
 journal      = {Science of Computer Programming},
 volume       = {2},
 number       = {3},
 pages        = {241--266},
 doi          = {10.1016/0167-6423(83)90017-5},
)
@article(EH86,
 author       = {E. A. Emerson and J.Y. Halpern},
 year         = {1986},
 title        = {{`Sometimes'} and {`Not Never'} revisited: on branching time versus linear time temporal logic},
 journal      = {Journal of the ACM},
 volume       = {33},
 number       = {1},
 pages        = {151--178},
 doi          = {10.1145/4904.4999},
)
@inproceedings(ERL20,
 author       = {R. Erkens and J. Rot and B. Luttik},
 year         = {2020},
 title        = {Up-to Techniques for Branching Bisimilarity},
 editor       = {A. Chatzigeorgiou and R. Dondi and H. Herodotou and C. A. Kapoutsis and Y. Manolopoulos and G. A. Papadopoulos and F. Sikora},
 booktitle    = {{SOFSEM} 2020: Theory and Practice of Computer Science - 46th International Conference on Current Trends in Theory and Practice of Informatics, {SOFSEM} 2020, Limassol, Cyprus, January 20-24, 2020, Proceedings},
 series       = {Lecture Notes in Computer Science},
 volume       = {12011},
 publisher    = {Springer},
 pages        = {285--297},
 doi          = {10.1007/978-3-030-38919-2\_24},
)
@article(FGW12,
 author       = {W. J. Fokkink and R. J. van Glabbeek and P. de Wind},
 year         = {2012},
 title        = {Divide and congruence: From decomposition of modal formulas to preservation of branching and {$\eta$}-bisimilarity},
 journal      = {Inf. Comput.},
 volume       = {214},
 pages        = {59--85},
 doi          = {10.1016/j.ic.2011.10.011},
)
@article(FvGL2019,
 author       = {W. J. Fokkink and Glabbeek R. J. van and B. Luttik},
 year         = {2019},
 title        = {Divide and congruence {III:} From decomposition of modal formulas to preservation of stability and divergence},
 journal      = {Inf. Comput.},
 volume       = {268},
 doi          = {10.1016/j.ic.2019.104435},
)
@article(GLS20,
 author       = {R. J. van Glabbeek and B. Luttik and L. Spaninks},
 year         = {2020},
 title        = {Rooted Divergence-Preserving Branching Bisimilarity is a Congruence},
 journal      = {CoRR},
 volume       = {abs/1801.01180},
 url          = {http://arxiv.org/abs/1801.01180},
 note         = {Submitted},
)
@inproceedings(Gla93a,
 author       = {R. J. van Glabbeek},
 year         = {1993},
 title        = {The Linear Time -- Branching Time Spectrum {II}; The semantics of sequential systems with silent moves (extended abstract)},
 editor       = {E. Best},
 booktitle    = {{\rm Proceedings 4$^{\it th}$ International Conference on} Concurrency Theory, {\rm CONCUR'93, Hildesheim, Germany, August 1993}},
 series       = {\rm LNCS},
 volume       = {715},
 publisher    = {Springer},
 pages        = {66--81},
 doi          = {10.1007/3-540-57208-2\_6},
)
@article(GLT09a,
 author       = {R. J. van Glabbeek and B. Luttik and Tr\v{c}ka, N.},
 year         = {2009},
 title        = {Branching Bisimilarity with Explicit Divergence},
 journal      = {Fundamenta Informaticae},
 volume       = {93},
 number       = {4},
 pages        = {371--392},
 doi          = {10.3233/FI-2009-109},
)
@article(GLT09b,
 author       = {R. J. van Glabbeek and B. Luttik and Tr\v{c}ka, N.},
 year         = {2009},
 title        = {Computation Tree Logic with Deadlock Detection},
 journal      = {Logical Methods in Computer Science},
 volume       = {5},
 number       = {4},
 doi          = {10.2168/LMCS-5(4:5)2009},
)
@article(GW96,
 author       = {R. J. van Glabbeek and W. P. Weijland},
 year         = {1996},
 title        = {Branching time and abstraction in bisimulation semantics},
 journal      = {Journal of the ACM},
 volume       = {43},
 number       = {3},
 pages        = {555--600},
 doi          = {10.1145/233551.233556},
)
@inproceedings(GS87,
 author       = {S. Graf and J. Sifakis},
 year         = {1987},
 title        = {Readiness Semantics for Regular Processes with Silent Actions},
 editor       = {T. Ottmann},
 booktitle    = {Automata, Languages and Programming, 14th International Colloquium, ICALP87, Karlsruhe, Germany, July 13-17, 1987, Proceedings},
 series       = {Lecture Notes in Computer Science},
 volume       = {267},
 publisher    = {Springer},
 pages        = {115--125},
 doi          = {10.1007/3-540-18088-5\_10},
)
@article(GJKW17,
 author       = {J. F. Groote and D. N. Jansen and J. J. A. Keiren and A. J. Wijs},
 year         = {2017},
 title        = {An O(m log n) Algorithm for Computing Stuttering Equivalence and Branching Bisimulation},
 journal      = {ACM Trans. Comput. Logic},
 volume       = {18},
 number       = {2},
 doi          = {10.1145/3060140},
)
@article(LDH05,
 author       = {M. Lohrey and P. R. D'Argenio and H. Hermanns},
 year         = {2005},
 title        = {Axiomatising divergence},
 journal      = {Inf. Comput.},
 volume       = {203},
 number       = {2},
 pages        = {115--144},
 doi          = {10.1016/j.ic.2005.05.007},
)
@article(LY20,
 author       = {B. Luttik and F. Yang},
 year         = {2020},
 title        = {The $\pi$-Calculus is Behaviourally Complete and Orbit-Finitely Executable},
 journal      = {CoRR},
 volume       = {abs/1410.4512v8},
 url          = {http://arxiv.org/abs/1410.4512},
)
@book(Mil80,
 author       = {R. Milner},
 year         = {1980},
 title        = {A Calculus of Communicating Systems},
 series       = {Lecture Notes in Computer Science},
 volume       = {92},
 publisher    = {Springer},
 doi          = {10.1007/3-540-10235-3},
)
@article(Mil89,
 author       = {R. Milner},
 year         = {1989},
 title        = {A Complete Axiomatisation for Observational Congruence of Finite-State Behaviors},
 journal      = {Inf. Comput.},
 volume       = {81},
 number       = {2},
 pages        = {227--247},
 doi          = {10.1016/0890-5401(89)90070-9},
)
@incollection(Mil89h,
 author       = {R. Milner},
 year         = {1990},
 title        = {Operational and Algebraic Semantics of Concurrent Processes},
 editor       = {Jan van Leeuwen},
 booktitle    = {Handbook of Theoretical Computer Science (Vol. B)},
 publisher    = {MIT Press},
 address      = {Cambridge, MA, USA},
 pages        = {1201--1242},
 url          = {http://dl.acm.org/citation.cfm?id=114891.114910},
)
@inproceedings(Pet19,
 author       = {K. Peters},
 year         = {2019},
 title        = {Comparing Process Calculi Using Encodings},
 editor       = {J. A. P{\'{e}}rez and J. Rot},
 booktitle    = {Proceedings Combined 26th International Workshop on Expressiveness in Concurrency and 16th Workshop on Structural Operational Semantics, {EXPRESS/SOS} 2019, Amsterdam, The Netherlands, 26th August 2019},
 series       = {{EPTCS}},
 volume       = {300},
 pages        = {19--38},
 doi          = {10.4204/EPTCS.300.2},
)
@inproceedings(Phi93,
 author       = {I. Phillips},
 year         = {1993},
 title        = {A Note on Expressiveness of Process Algebra},
 editor       = {G. L. Burn and S. J. Gay and M. Ryan},
 booktitle    = {{\rm Proceedings of the First Imperial College Department of Computing Workshop on} Theory and Formal Methods, {\rm Isle of Thorns Conference Centre, Chelwood Gate, Sussex, UK, 29-31 March 1993}},
 series       = {Workshops in Computing},
 publisher    = {Springer},
 pages        = {260--264},
)