Doug Gurr
From MaRDI portal
List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| Timing Petri nets categorically Automata, Languages and Programming | 2019-12-04 | Paper |
| Temporal logic and categories of Petri nets Automata, Languages and Programming | 2019-03-29 | Paper |
| A categorical linear framework for Petri nets Information and Computation | 2006-10-10 | Paper |
| Relations and non-commutative linear logic Journal of Pure and Applied Algebra | 1996-03-20 | Paper |
| A representation theorem for quantales Journal of Pure and Applied Algebra | 1993-05-16 | Paper |
Research outcomes over time
This page was built for person: Doug Gurr
