TY - JOUR A1 - Arbach, Youssef A1 - Karcher, David A1 - Peters, Kirstin A1 - Nestmann, Uwe T1 - Dynamic causality in event structures T2 - Lecture Notes in Computer Science Y1 - 2015 UR - https://opus.bibliothek.uni-augsburg.de/opus4/frontdoor/index/index/docId/96272 SN - 9783319191942 SN - 9783319191959 SN - 0302-9743 SN - 1611-3349 N1 - Formal Techniques for Distributed Objects, Components, and Systems: 35th IFIP WG 6.1 International Conference, FORTE 2015, Grenoble, France, June 2-4, 2015 VL - 9039 SP - 83 EP - 97 PB - Springer CY - Cham ER -