| Publication | Date of Publication | Type |
|---|
Modal epistemic logic on contracts: a doctrinal approach
Models, Languages, and Tools for Concurrent and Distributed Programming | 2024-02-23 | Paper |
On continuous time agents
Lecture Notes in Computer Science | 2023-08-16 | Paper |
CospanSpan(Graph): a compositional description of the heart system
Fundamenta Informaticae | 2020-06-21 | Paper |
| Cospan/Span(Graph): an algebra for open, reconfigurable automata networks | 2018-08-13 | Paper |
A doctrinal approach to modal/temporal Heyting logic and non-determinism in processes
Mathematical Structures in Computer Science | 2018-03-09 | Paper |
The ziqqurath of exact sequences of \(n\)-groupoids
(available as arXiv preprint) | 2011-10-05 | Paper |
Generalising Conduché's theorem
Applied Categorical Structures | 2011-03-30 | Paper |
Conduché property and tree-based categories
Journal of Pure and Applied Algebra | 2009-11-25 | Paper |
External derivations of internal groupoids
Journal of Pure and Applied Algebra | 2007-10-18 | Paper |
Split extensions, semidirect product and holomorph of categorical groups
Homology, Homotopy and Applications | 2005-12-05 | Paper |
| scientific article; zbMATH DE number 2125661 (Why is no real title available?) | 2005-01-10 | Paper |
| scientific article; zbMATH DE number 2125661 (Why is no real title available?) | 2005-01-10 | Paper |
| scientific article; zbMATH DE number 1638648 (Why is no real title available?) | 2001-08-29 | Paper |
| scientific article; zbMATH DE number 1522865 (Why is no real title available?) | 2000-10-30 | Paper |
| scientific article; zbMATH DE number 1431772 (Why is no real title available?) | 2000-04-16 | Paper |
| scientific article; zbMATH DE number 1431772 (Why is no real title available?) | 2000-04-16 | Paper |
Observational trees as models for concurrency
Mathematical Structures in Computer Science | 2000-03-23 | Paper |
| scientific article; zbMATH DE number 722263 (Why is no real title available?) | 1999-09-15 | Paper |
| scientific article; zbMATH DE number 1136647 (Why is no real title available?) | 1998-07-15 | Paper |
Process synchronisation as fusion
Applied Categorical Structures | 1996-12-16 | Paper |
| scientific article; zbMATH DE number 517055 (Why is no real title available?) | 1994-03-17 | Paper |
Enriched categorical semantics for distributed calculi
Journal of Pure and Applied Algebra | 1993-05-16 | Paper |
| scientific article; zbMATH DE number 19492 (Why is no real title available?) | 1992-06-26 | Paper |
| scientific article; zbMATH DE number 12815 (Why is no real title available?) | 1992-06-25 | Paper |
| scientific article; zbMATH DE number 12815 (Why is no real title available?) | 1992-06-25 | Paper |
The duality between flow charts and circuits
Bulletin of the Australian Mathematical Society | 1990-01-01 | Paper |
| scientific article; zbMATH DE number 4062569 (Why is no real title available?) | 1988-01-01 | Paper |
An axiomatics for bicategories of modules
Journal of Pure and Applied Algebra | 1987-01-01 | Paper |
| scientific article; zbMATH DE number 4043229 (Why is no real title available?) | 1987-01-01 | Paper |
| scientific article; zbMATH DE number 4016198 (Why is no real title available?) | 1986-01-01 | Paper |
| scientific article; zbMATH DE number 4016198 (Why is no real title available?) | 1986-01-01 | Paper |
| scientific article; zbMATH DE number 3961919 (Why is no real title available?) | 1986-01-01 | Paper |
| scientific article; zbMATH DE number 3995063 (Why is no real title available?) | 1985-01-01 | Paper |
Bicategories of spans and relations
Journal of Pure and Applied Algebra | 1984-01-01 | Paper |
| scientific article; zbMATH DE number 3819978 (Why is no real title available?) | 1983-01-01 | Paper |
| scientific article; zbMATH DE number 3819978 (Why is no real title available?) | 1983-01-01 | Paper |
| scientific article; zbMATH DE number 3917719 (Why is no real title available?) | 1982-01-01 | Paper |
| scientific article; zbMATH DE number 3848620 (Why is no real title available?) | 1982-01-01 | Paper |
Some remarks on symmetry for a monoidal category
Bulletin of the Australian Mathematical Society | 1981-01-01 | Paper |
