bookmarks (hide)
- No matching posts.
publications (hide)14
- 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)
- ACM Trans. Algorithms 11 (3): 16:1--16:29 (January 2015)
- FoSSaCS , volume 7213 of Lecture Notes in Computer Science, page 210-224. Springer, (2012)
- 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)
