References

  1. Edmund M. Clarke & E. Allen Emerson (1981): Design and Synthesis of Synchronization Skeletons Using Branching-Time Temporal Logic. In: Logics of Programs, Workshop, Yorktown Heights, New York, May 1981, pp. 52–71, doi:10.1007/BFb0025774.
  2. Javier Esparza & Keijo Heljanko (2008): Unfoldings - A Partial-Order Approach to Model Checking. Monographs in Theoretical Computer Science. An EATCS Series. Springer, doi:10.1007/978-3-540-77426-6.
  3. Andrey Kupriyanov (2016): Causality-based verification. Saarland University, Saarbrücken, Germany. Available at http://scidok.sulb.uni-saarland.de/volltexte/2016/6696/.
  4. Andrey Kupriyanov & Bernd Finkbeiner (2013): Causality-Based Verification of Multi-threaded Programs. In: CONCUR 2013 - Concurrency Theory - 24th International Conference, CONCUR 2013, Buenos Aires, Argentina, August 27-30, 2013. Proceedings, pp. 257–272, doi:10.1007/978-3-642-40184-8_19.
  5. Andrey Kupriyanov & Bernd Finkbeiner (2014): Causal Termination of Multi-threaded Programs. In: Computer Aided Verification - 26th International Conference, CAV 2014, Vienna, Austria, July 18-22, 2014. Proceedings, pp. 814–830, doi:10.1007/978-3-319-08867-9_54.
  6. Leslie Lamport (1974): A New Solution of Dijkstra's Concurrent Programming Problem. Commun. ACM 17(8), pp. 453–455, doi:10.1145/361082.361093.
  7. Grzegorz Rozenberg (1997): Handbook of Graph Grammars and Computing by Graph Transformations, Volume 1: Foundations. World Scientific.

Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org