Dynamic Causality in Event Structures

Youssef Arbach, David Karcher, Kirstin Peters, Uwe Nestmann. Dynamic Causality in Event Structures. In Susanne Graf, Mahesh Viswanathan 0001, editors, Formal Techniques for Distributed Objects, Components, and Systems - 35th IFIP WG 6.1 International Conference, FORTE 2015, Held as Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, Grenoble, France, June 2-4, 2015, Proceedings. Volume 9039 of Lecture Notes in Computer Science, pages 83-97, Springer, 2015. [doi]

Abstract

Abstract is missing.