publication venue for
- Follow automata 2003
- Incorporating quotation and evaluation into Church's type theory. 260:9-50. 2018
- Modeling concurrency with interval traces. 253:78-108. 2017
- Generic expression hardness results for primitive positive formula comparison. 222:108-120. 2013
- Modelling concurrency with comtraces and generalized comtraces. 209:1355-1389. 2011
- Process semantics of general inhibitor nets. 190:18-69. 2004
- The Box Algebra=Petri Nets+Process Expressions. 178:44-100. 2002
- The Box Algebra=Petri Nets+Process Expressions. 178:44-100. 2002
- Semantics of Inhibitor Nets. 123:1-16. 1995
- Processes and the denotational semantics of concurrency. 54:70-120. 1982