@article(Aceto94,
 author       = {L. Aceto},
 year         = {1994},
 title        = {A Static View of Localities},
 journal      = {Formal Aspects of Computing},
 volume       = {6},
 number       = {2},
 pages        = {201--222},
 doi          = {10.1007/BF01221099},
)
@incollection(AcetoEtAl07,
 author       = {L. Aceto and A. Ing\'{o}lfsd\'{o}ttir and K. G. Larsen and J. Srba},
 year         = {2007},
 title        = {Modelling Mutual Exclusion Algorithms},
 booktitle    = {Reactive Systems: Modelling, Specification and Verification},
 publisher    = {Cambridge University Press},
 pages        = {142--158},
 doi          = {10.1017/CBO9780511814105.008},
)
@inproceedings(BV93,
 author       = {J. C. M. Baeten and C. Verhoef},
 year         = {1993},
 title        = {A Congruence Theorem for Structured Operational Semantics with Predicates},
 editor       = {E. Best},
 booktitle    = {{\rm Proc.} {CONCUR} '93},
 series       = {\rm LNCS},
 volume       = {715},
 publisher    = {Springer},
 pages        = {477--492},
 doi          = {10.1007/3-540-57208-2\_33},
)
@inproceedings(Bergstra88,
 author       = {J. A. Bergstra},
 year         = {1988},
 title        = {{ACP} with Signals},
 editor       = {J. Grabowski and P. Lescanne and W. Wechler},
 booktitle    = {{\rm Proc.\ Int.\ Workshop on} Algebraic and Logic Programming},
 series       = {\rm LNCS},
 volume       = {343},
 publisher    = {Springer},
 pages        = {11--20},
 doi          = {10.1007/3-540-50667-5\_53},
)
@techreport(Bouali91,
 author       = {A. Bouali},
 year         = {1992},
 title        = {Weak and Branching Bisimulation in {Fctool}},
 type         = {Research Report},
 number       = {RR-1575},
 institution  = {Inria-Sophia Antipolis},
 url          = {https://hal.inria.fr/inria-00074985/document},
)
@article(BCHK93,
 author       = {G. Boudol and I. Castellani and M. Hennessy and A. Kiehn},
 year         = {1993},
 title        = {Observing Localities},
 journal      = {Theoretical Computer Science},
 volume       = {114},
 number       = {1},
 pages        = {31--61},
 doi          = {10.1016/0304-3975(93)90152-J},
)
@article(BCHK94,
 author       = {G. Boudol and I. Castellani and M. Hennessy and A. Kiehn},
 year         = {1994},
 title        = {A Theory of Processes with Localities},
 journal      = {Formal Aspects of Computing},
 volume       = {6},
 number       = {2},
 pages        = {165--200},
 doi          = {10.1007/BF01221098},
)
@inproceedings(EPTCS54.4,
 author       = {F. Buti and Callisto De Donato, M. and F. Corradini and Di Berardini, M. R. and W. Vogler},
 year         = {2011},
 title        = {Automated Analysis of {MUTEX} Algorithms with {FASE}},
 editor       = {G. D'Agostino and La Torre, S.},
 booktitle    = {{\rm Proc.} GandALF '11},
 series       = {\rm EPTCS},
 volume       = {54},
 publisher    = {Open Publishing Association},
 pages        = {45--59},
 doi          = {10.4204/EPTCS.54.4},
)
@article(CorradiniEtAl09,
 author       = {F. Corradini and Di Berardini, M. R. and W. Vogler},
 year         = {2009},
 title        = {Liveness of a Mutex Algorithm in a Fair Process Algebra},
 journal      = {Acta Informatica},
 volume       = {46},
 number       = {3},
 pages        = {209--235},
 doi          = {10.1007/s00236-009-0092-9},
)
@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. Bro Miltersen and C. Palamidessi and P. Tuma and F. D. Valencia},
 booktitle    = {Theory and Practice of Computer Science ({SOFSEM}'09)},
 series       = {\rm LNCS},
 volume       = {5404},
 publisher    = {Springer},
 pages        = {193--204},
 doi          = {10.1007/978-3-540-95891-8\_20},
)
@inproceedings(CDV11,
 author       = {F. Corradini and {Di Berardini}, M. R. and W. Vogler},
 year         = {2011},
 title        = {Read Operators and their Expressiveness in Process Algebras},
 editor       = {B. Luttik and F. Valencia},
 booktitle    = {{\rm Proc.} EXPRESS '11},
 series       = {\rm EPTCS},
 volume       = {64},
 publisher    = {Open Publishing Association},
 pages        = {31--43},
 doi          = {10.4204/EPTCS.64.3},
)
@article(CVJ02,
 author       = {F. Corradini and W. Vogler and L. Jenner},
 year         = {2002},
 title        = {Comparing the worst-case efficiency of asynchronous systems with {PAFAS}},
 journal      = {Acta Informatica},
 volume       = {38},
 number       = {11/12},
 pages        = {735--792},
 doi          = {10.1007/s00236-002-0094-3},
)
@unpublished(EWD35,
 author       = {E. W. Dijkstra},
 year         = {1962 or 1963},
 title        = {Over de Sequentialiteit van Procesbeschrijvingen},
 url          = {http://www.cs.utexas.edu/users/EWD/ewd00xx/EWD35.PDF},
 note         = {Circulated privately},
)
@article(Dijkstra65,
 author       = {E. W. Dijkstra},
 year         = {1965},
 title        = {Solution of a problem in concurrent programming control},
 journal      = {Communications of the {ACM}},
 volume       = {8},
 number       = {9},
 pages        = {569},
 doi          = {10.1145/365559.365617},
)
@incollection(EWD123,
 author       = {E. W. Dijkstra},
 year         = {1968},
 title        = {Cooperating Sequential Processes},
 editor       = {F. Genuys},
 booktitle    = {Programming Languages: NATO Advanced Study Institute},
 publisher    = {Academic Press},
 pages        = {43--112},
)
@article(EsparzaBruns96,
 author       = {J. Esparza and G. Bruns},
 year         = {1996},
 title        = {Trapping Mutual Exclusion in the Box Calculus},
 journal      = {Theoretical Computer Science},
 volume       = {153},
 number       = {1-2},
 pages        = {95--128},
 doi          = {10.1016/0304-3975(95)00119-0},
)
@techreport(TR13,
 author       = {A. Fehnker and R. J. van Glabbeek and P H{\"o}fner and A. K. McIver and M. Portmann and W. L. Tan},
 year         = {2013},
 title        = {A Process Algebra for Wireless Mesh Networks used for Modelling, Verifying and Analysing {AODV}},
 type         = {Technical Report},
 number       = {5513},
 institution  = {NICTA},
 note         = {Available at \url{http://arxiv.org/abs/1312.7645}},
)
@book(Fr86,
 author       = {N. Francez},
 year         = {1986},
 title        = {Fairness},
 publisher    = {Springer},
 doi          = {10.1007/978-1-4612-4886-6},
)
@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},
)
@article(GH15,
 author       = {R. J. van Glabbeek and P. H\"ofner},
 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 Informatica},
 volume       = {52},
 number       = {2--3},
 pages        = {175--205},
 doi          = {10.1007/s00236-015-0221-6},
)
@article(GH14,
 author       = {R. J. van Glabbeek and P. H{\"o}fner},
 year         = {2015},
 title        = {Progress, Fairness and Justness in Process Algebra},
 journal      = {CoRR},
 volume       = {{\normalfont abs/1501.03268}},
 url          = {http://arxiv.org/abs/1501.03268},
)
@article(KW97,
 author       = {E. Kindler and R. Walter},
 year         = {1997},
 title        = {Mutex Needs Fairness},
 journal      = {Information Processing Letters},
 volume       = {62},
 number       = {1},
 pages        = {31--39},
 doi          = {10.1016/S0020-0190(97)00033-1},
)
@article(Kleinrock64,
 author       = {L. Kleinrock},
 year         = {1964},
 title        = {Analysis of A Time-Shared Processor},
 journal      = {Naval Research Logistics Quarterly},
 volume       = {11},
 number       = {1},
 pages        = {59--73},
 doi          = {10.1002/nav.3800110105},
)
@article(Knuth66,
 author       = {D. E. Knuth},
 year         = {1966},
 title        = {Additional comments on a problem in concurrent programming control},
 journal      = {Communications of the {ACM}},
 volume       = {9},
 number       = {5},
 pages        = {321--322},
 doi          = {10.1145/355592.365595},
)
@article(bakery,
 author       = {L. Lamport},
 year         = {1974},
 title        = {A New Solution of Dijkstra's Concurrent Programming Problem},
 journal      = {Communications of the {ACM}},
 volume       = {17},
 number       = {8},
 pages        = {453--455},
 doi          = {10.1145/361082.361093},
)
@book(Mi89,
 author       = {R. Milner},
 year         = {1989},
 title        = {Communication and Concurrency},
 publisher    = {Prentice Hall},
)
@inproceedings(MN92,
 author       = {M. Mukund and M. Nielsen},
 year         = {1992},
 title        = {CCS, Locations and Asynchronous Transition Systems},
 editor       = {R. K. Shyamasundar},
 booktitle    = {{\rm Proc.} FSTTCS '92},
 series       = {\rm LNCS},
 volume       = {652},
 publisher    = {Springer},
 pages        = {328--341},
 doi          = {10.1007/3-540-56287-7\_116},
)
@misc(rfc970,
 author       = {J. Nagle},
 year         = {1985},
 title        = {On Packet Switches with Infinite Storage},
 howpublished = {RFC 970, Network Working Group},
 url          = {http://tools.ietf.org/rfc/rfc970.txt},
)
@article(Nagle87,
 author       = {J. Nagle},
 year         = {1987},
 title        = {On Packet Switches with Infinite Storage},
 journal      = {IEEE Trans. Communications},
 volume       = {35},
 number       = {4},
 pages        = {435--438},
 doi          = {10.1109/TCOM.1987.1096782},
)
@article(OL82,
 author       = {S. S. Owicki and L. Lamport},
 year         = {1982},
 title        = {Proving Liveness Properties of Concurrent Programs},
 journal      = {{ACM} TOPLAS},
 volume       = {4},
 number       = {3},
 pages        = {455--495},
 doi          = {10.1145/357172.357178},
)
@article(Peterson81,
 author       = {G. L. Peterson},
 year         = {1981},
 title        = {Myths About the Mutual Exclusion Problem},
 journal      = {Information Processing Letters},
 volume       = {12},
 number       = {3},
 pages        = {115--116},
 doi          = {10.1016/0020-0190(81)90106-X},
)
@inproceedings(Valmari96,
 author       = {A. Valmari and M. Set\"{a}l\"{a}},
 year         = {1996},
 title        = {Visual Verification of Safety and Liveness},
 editor       = {{M.-C.} Gaudel and J. Woodcock},
 booktitle    = {Industrial Benefit and Advances in Formal Methods (FME'96)},
 series       = {\rm LNCS},
 volume       = {1051},
 publisher    = {Springer},
 pages        = {228--247},
 doi          = {10.1007/3-540-60973-3\_90},
)
@article(Vogler02,
 author       = {W. Vogler},
 year         = {2002},
 title        = {Efficiency of asynchronous systems, read arcs, and the {MUTEX}-problem},
 journal      = {Theoretical Computer Science},
 volume       = {275},
 number       = {1-2},
 pages        = {589--631},
 doi          = {10.1016/S0304-3975(01)00300-0},
)
@article(Walker89,
 author       = {D. J. Walker},
 year         = {1989},
 title        = {Automated analysis of mutual exclusion algorithms using {CCS}},
 journal      = {Formal Aspects of Computing},
 volume       = {1},
 number       = {1},
 pages        = {273--292},
 doi          = {10.1007/BF01887209},
)