@inproceedings(Bergstra1987,
 author       = {Jan A. Bergstra and Jan W. Klop and Ernst-R\IeC{\"u}diger Olderog},
 year         = {1987},
 title        = {Failures without Chaos: a Process Semantics for Fair Abstraction},
 editor       = {M. Wirsing},
 booktitle    = {Formal Description of Programming Concepts -- III},
 series       = {Lecture Notes in Computer Science},
 publisher    = {North-Holland},
 address      = {Amsterdam},
 pages        = {77--101},
)
@article(Corradini2006Fairness,
 author       = {Flavio Corradini and Di Berardini, Maria R. and Walter Vogler},
 year         = {2006},
 title        = {Fairness of Actions in System Computations},
 journal      = {Acta Informatica},
 volume       = {43},
 number       = {2},
 pages        = {73--130},
 doi          = {10.1007/s00236-006-0011-2},
)
@article(Costa1984Fair,
 author       = {Gerardo Costa and Colin Stirling},
 year         = {1984},
 title        = {A fair calculus of communicating systems},
 journal      = {Acta Informatica},
 volume       = {21},
 number       = {5},
 pages        = {417--441},
 doi          = {10.1007/BF00271640},
)
@article(Dijkstra65,
 author       = {Edsger W. Dijkstra},
 year         = {1965},
 title        = {Solution of a problem in concurrent programming control},
 journal      = {{CACM}},
 volume       = {8},
 number       = {9},
 pages        = {569},
 doi          = {10.1145/365559.365617},
)
@book(Francez1986,
 author       = {Nissim Francez},
 year         = {1986},
 title        = {Fairness},
 publisher    = {Springer-Verlag New York, Inc.},
 address      = {New York, NY, USA},
 doi          = {10.1007/978-1-4612-4886-6},
)
@inproceedings(Glabbeek1990Linear,
 author       = {Rob J. van Glabbeek},
 year         = {1990},
 title        = {The linear time - branching time spectrum},
 editor       = {J. C. M. Baeten and J. W. Klop},
 booktitle    = {CONCUR '90 Theories of Concurrency: Unification and Extension: Amsterdam, The Netherlands, August 27--30, 1990 Proceedings},
 publisher    = {Springer Berlin Heidelberg},
 address      = {Berlin, Heidelberg},
 pages        = {278--297},
 doi          = {10.1007/BFb0039066},
)
@inproceedings(Glabbeek1993,
 author       = {Rob J. van Glabbeek},
 year         = {1993},
 title        = {The linear time --- Branching time spectrum II},
 editor       = {Eike Best},
 booktitle    = {CONCUR'93: 4th Intrenational Conference on Concurrency Theory Hildesheim, Germany, August 23--26, 1993 Proceedings},
 publisher    = {Springer Berlin Heidelberg},
 address      = {Berlin, Heidelberg},
 pages        = {66--81},
 doi          = {10.1007/3-540-57208-2_6},
)
@article(Hennessy85,
 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},
)
@article(Knuth66,
 author       = {Donald E. Knuth},
 year         = {1966},
 title        = {Additional comments on a problem in concurrent programming control},
 journal      = {Commun. {ACM}},
 volume       = {9},
 number       = {5},
 pages        = {321--322},
 doi          = {10.1145/355592.365595},
)
@article(Koomen85,
 author       = {Cees J. Koomen},
 year         = {1985},
 title        = {Algebraic specification and verification of communication protocols},
 journal      = {Science of Computer Programming},
 volume       = {5},
 pages        = {1 -- 36},
 doi          = {10.1016/0167-6423(85)90002-4},
)
@book(Milner1982,
 author       = {Robin Milner},
 year         = {1980},
 title        = {A Calculus of Communicating Systems},
 publisher    = {Springer Berlin Heidelberg},
 address      = {Berlin, Heidelberg},
 doi          = {10.1007/3-540-10235-3},
)
@inproceedings(Moller99,
 author       = {Faron Moller and Alexander Rabinovich},
 year         = {1999},
 title        = {On the expressive power of CTL},
 booktitle    = {Proceedings. 14th Symposium on Logic in Computer Science (Cat. No. PR00158)},
 pages        = {360--368},
 doi          = {10.1109/LICS.1999.782631},
)
@inbook(Plotkin1982,
 author       = {Gordon David Plotkin},
 year         = {1982},
 title        = {A powerdomain for countable non-determinism},
 pages        = {418--428},
 publisher    = {Springer Berlin Heidelberg},
 address      = {Berlin, Heidelberg},
 doi          = {10.1007/BFb0012788},
)
@inproceedings(Puhakka2005Using,
 author       = {Antti Puhakka},
 year         = {2005},
 title        = {Using Fairness Constraints in Process-Algebraic Verification},
 editor       = {Van Hung, Dang and Martin Wirsing},
 booktitle    = {Theoretical Aspects of Computing -- ICTAC 2005: Second International Colloquium, Hanoi, Vietnam, October 17-21, 2005. Proceedings},
 publisher    = {Springer Berlin Heidelberg},
 address      = {Berlin, Heidelberg},
 pages        = {546--561},
 doi          = {10.1007/11560647_36},
)
@inproceedings(Puhakka2001Liveness,
 author       = {Antti Puhakka and Antti Valmari},
 year         = {2001},
 title        = {Liveness and Fairness in Process-Algebraic Verification},
 editor       = {Kim G. Larsen and Mogens Nielsen},
 booktitle    = {CONCUR 2001 --- Concurrency Theory: 12th International Conference Aalborg, Denmark, August 20--25, 2001 Proceedings},
 publisher    = {Springer Berlin Heidelberg},
 address      = {Berlin, Heidelberg},
 pages        = {202--217},
 doi          = {10.1007/3-540-44685-0_14},
)
@book(Reisig1998,
 author       = {Wolfgang Reisig},
 year         = {1998},
 title        = {Elements of Distributed Algorithms: Modeling and Analysis with Petri Nets},
 publisher    = {Springer Berlin Heidelberg},
 address      = {Berlin, Heidelberg},
 doi          = {10.1007/978-3-662-03687-7},
)