publication venue for
- Primitive recursive selection functions for existential assertions over abstract algebras 2008
- Relational semigroupoids: Abstract relation-algebraic interfaces for finite relations between infinite types 2008
- ITL semantics of composite Petri nets. 82:95-110. 2013
- Timed Mobility in process algebra and Petri nets. 80:377-391. 2011
- Collagories: Relation-algebraic reasoning for gluing constructions. 80:297-338. 2011
- Determinisation of relational substitutions in ordered categories with domain. 79:812-829. 2010
- Distributive contact lattices: Topological representations. 76:18-34. 2008
- Universality and semicomputability for nondeterministic programming languages over abstract algebras. 71:44-78. 2007
- Interpretability of first-order linear temporal logics in fork algebras. 66:161-184. 2006
- Computable total functions on metric algebras, universal algebraic specifications and dynamical systems. 62:71-108. 2005
- Deterministic and nondeterministic computation, and horn programs, on abstract data types. 13:23-55. 1992