bookmarks (hide)
- No matching posts.
publications (hide)12
- Springer, Berlin; New York, (2002)
- (2015)cite arxiv:1504.00512Comment: Proofs and additional information for the FORTE'15 paper 'Dynamic Causality in Event Structures'.
- Tools and Algorithms for the Construction and Analysis of Systems, volume 1019 of Lecture Notes in Computer Science, Springer Berlin Heidelberg, (1995)
- CONCUR '96: Concurrency Theory, volume 1119 of Lecture Notes in Computer Science, Springer Berlin Heidelberg, (1996)
- Formal Techniques in Real-Time and Fault-Tolerant Systems, volume 863 of Lecture Notes in Computer Science, Springer Berlin Heidelberg, (1994)
- Memoranda informatica University of Twente, Department of Computer Science, (1991)
- Formal Techniques in Real-Time and Fault-Tolerant Systems, volume 571 of Lecture Notes in Computer Science, Springer Berlin Heidelberg, (1991)
- High Assurance Systems Engineering Symposium, 2007. HASE '07. 10th IEEE, page 367-368. (November 2007)
- Information and Computation, 208 (9): 1031 - 1053 (2010)
- (2006)
- FAVO, volume 83 of EPTCS, page 10-21. (2011)
- EXPRESS, volume 41 of EPTCS, page 136-150. (2010)
