@book(proces_alg_book,
 author       = {J. C. M. Baeten and T. Basten and M. A. Reniers},
 year         = {2009},
 title        = {Process Algebra: Equational Theories of Communicating Processes},
 series       = {Cambridge Tracts in Theoretical Computer Science},
 publisher    = {Cambridge University Press},
 doi          = {10.1017/CBO9781139195003},
)
@article(DBLP:journals/tcs/Baeten05,
 author       = {J.C.M. Baeten},
 year         = {2005},
 title        = {A brief history of process algebra},
 journal      = {Theoretical Computer Science},
 volume       = {335},
 number       = {2-3},
 pages        = {131--146},
 doi          = {10.1016/j.tcs.2004.07.036},
)
@article(BLW20,
 author       = {Mark Bouwman and Bas Luttik and Tim A. C. Willemse},
 year         = {2020},
 title        = {Off-the-shelf automated analysis of liveness properties for just paths},
 journal      = {Acta Informatica},
 volume       = {57},
 number       = {3-5},
 pages        = {551--590},
 doi          = {10.1007/s00236-020-00371-w},
)
@inproceedings(DGH17,
 author       = {Victor Dyseryn and Rob J. van Glabbeek and Peter H{\"{o}}fner},
 year         = {2017},
 title        = {Analysing Mutual Exclusion using Process Algebra with Signals},
 editor       = {Kirstin Peters and Simone Tini},
 booktitle    = {Proceedings Combined 24th International Workshop on Expressiveness in Concurrency and 14th Workshop on Structural Operational Semantics and 14th Workshop on Structural Operational Semantics, {EXPRESS/SOS} 2017, Berlin, Germany, 4th September 2017.},
 series       = {{EPTCS}},
 volume       = {255},
 pages        = {18--34},
 doi          = {10.4204/EPTCS.255.2},
)
@article(GH15,
 author       = {Rob J. van Glabbeek and Peter H{\"{o}}fner},
 year         = {2015},
 title        = {{CCS:} It's not fair! - Fair schedulers cannot be implemented in {CCS}-like languages even under progress and certain fairness assumptions},
 journal      = {Acta Inf.},
 volume       = {52},
 number       = {2-3},
 pages        = {175--205},
 doi          = {10.1007/s00236-015-0221-6},
)
@book(sv_book,
 author       = {Jan Friso Groote and Mohammad Reza Mousavi},
 year         = {2014},
 title        = {Modeling and analysis of communicating systems},
 publisher    = {MIT press},
 doi          = {10.7551/mitpress/9946.001.0001},
)
@article(HennessyM85,
 author       = {Matthew Hennessy and Robin Milner},
 year         = {1985},
 title        = {Algebraic Laws for Nondeterminism and Concurrency},
 journal      = {J. {ACM}},
 volume       = {32},
 number       = {1},
 pages        = {137--161},
 doi          = {10.1145/2455.2460},
)
@book(DBLP:books/daglib/0067019,
 author       = {Robin Milner},
 year         = {1989},
 title        = {Communication and concurrency},
 series       = {{PHI} Series in computer science},
 publisher    = {Prentice Hall},
)
@article(DBLP:journals/iandc/MousaviRG05,
 author       = {Mohammad Reza Mousavi and Michel A. Reniers and Jan Friso Groote},
 year         = {2005},
 title        = {Notions of bisimulation and congruence formats for {SOS} with data},
 journal      = {Inf. Comput.},
 volume       = {200},
 number       = {1},
 pages        = {107--147},
 doi          = {10.1016/j.ic.2005.03.002},
)
@inproceedings(DBLP:conf/coordination/NicolaP96,
 author       = {Rocco De Nicola and Rosario Pugliese},
 year         = {1996},
 title        = {A Process Algebra Based on {LINDA}},
 booktitle    = {{COORDINATION}},
 series       = {Lecture Notes in Computer Science},
 volume       = {1061},
 publisher    = {Springer},
 pages        = {160--178},
 doi          = {10.1007/3-540-61052-9\_45},
)
@book(DBLP:series/txcs/Roscoe10,
 author       = {A. W. Roscoe},
 year         = {2010},
 title        = {Understanding Concurrent Systems},
 series       = {Texts in Computer Science},
 publisher    = {Springer},
 doi          = {10.1007/978-1-84882-258-0},
)
@inproceedings(DBLP:conf/popl/SaraswatRP91,
 author       = {Vijay A. Saraswat and Martin C. Rinard and Prakash Panangaden},
 year         = {1991},
 title        = {Semantic Foundations of Concurrent Constraint Programming},
 booktitle    = {{POPL}},
 publisher    = {{ACM} Press},
 pages        = {333--352},
 doi          = {10.1145/99583.99627},
)
@article(DBLP:journals/entcs/Weerdenburg08,
 author       = {Muck van Weerdenburg},
 year         = {2008},
 title        = {Process Algebra with Local Communication},
 journal      = {Electron. Notes Theor. Comput. Sci.},
 volume       = {215},
 pages        = {191--208},
 doi          = {10.1016/j.entcs.2008.06.028},
)