publication venue for
- Step traces. 53:35-65. 2016
- Step semantics of boolean nets. 50:15-39. 2013
- Relational structures model of concurrency. 45:279-320. 2008
- Merged processes: a new condensed representation of Petri net behaviour. 43:307-330. 2006
- Canonical prefixes of Petri net unfoldings. 40:95-118. 2003
- Recursion and Petri nets. 37:781-829. 2001
- On the expressiveness of subset-sum representations. 36:665-672. 2000
- Fundamentals of modelling concurrency using discrete relational structures. 34:367-388. 1997
- A formal semantics for concurrent systems with a priority relation. 24:33-55. 1987
- The Merlin-Randell problem of train journeys. 23:429-463. 1986
- COSY ? a system specification language based on paths and processes. 12:109-158. 1979
- Addenda and corrigenda. 7:325-325. 1977
- CORRECTION. 7:1-1. 1977
- Formal semantics of a class of high-level primitives for coordinating concurrent processes. 5:297-332. 1975
- Consistent and complementary formal theories of the semantics of programming languages. 3:135-153. 1974
- Comments on ?A comparison of two synchronizing concepts by P.B. Hansen?. 1:375-376. 1972