@inproceedings(Clarke/Design-and-Synthesis,
 author       = {Edmund M. Clarke and E. Allen Emerson},
 year         = {1981},
 title        = {Design and Synthesis of Synchronization Skeletons Using Branching-Time Temporal Logic},
 booktitle    = {Logics of Programs, Workshop, Yorktown Heights, New York, May 1981},
 pages        = {52--71},
 doi          = {10.1007/BFb0025774},
)
@book(Esparza/Unfoldings,
 author       = {Javier Esparza and Keijo Heljanko},
 year         = {2008},
 title        = {Unfoldings - {A} Partial-Order Approach to Model Checking},
 series       = {Monographs in Theoretical Computer Science. An {EATCS} Series},
 publisher    = {Springer},
 doi          = {10.1007/978-3-540-77426-6},
)
@phdthesis(Thesis,
 author       = {Andrey Kupriyanov},
 year         = {2016},
 title        = {Causality-based verification},
 school       = {Saarland University, Saarbr{\"{u}}cken, Germany},
 url          = {http://scidok.sulb.uni-saarland.de/volltexte/2016/6696/},
)
@inproceedings(Safety,
 author       = {Andrey Kupriyanov and Bernd Finkbeiner},
 year         = {2013},
 title        = {Causality-Based Verification of Multi-threaded Programs},
 booktitle    = {{CONCUR} 2013 - Concurrency Theory - 24th International Conference, {CONCUR} 2013, Buenos Aires, Argentina, August 27-30, 2013. Proceedings},
 pages        = {257--272},
 doi          = {10.1007/978-3-642-40184-8_19},
)
@inproceedings(Liveness,
 author       = {Andrey Kupriyanov and Bernd Finkbeiner},
 year         = {2014},
 title        = {Causal Termination of Multi-threaded Programs},
 booktitle    = {Computer Aided Verification - 26th International Conference, {CAV} 2014, Vienna, Austria, July 18-22, 2014. Proceedings},
 pages        = {814--830},
 doi          = {10.1007/978-3-319-08867-9_54},
)
@article(Lamport/Bakery,
 author       = {Leslie Lamport},
 year         = {1974},
 title        = {A New Solution of Dijkstra's Concurrent Programming Problem},
 journal      = {Commun. {ACM}},
 volume       = {17},
 number       = {8},
 pages        = {453--455},
 doi          = {10.1145/361082.361093},
)
@proceedings(DBLP:conf/gg/1997handbook,
 editor       = {Grzegorz Rozenberg},
 year         = {1997},
 title        = {Handbook of Graph Grammars and Computing by Graph Transformations, Volume 1: Foundations},
 publisher    = {World Scientific},
)