| |
| 1995 | ||
|---|---|---|
| 7 | Carolyn Brown, Doug Gurr: A Categorical Linear Framework for Petri Nets. Inf. Comput. 122(2): 268-285 (1995) | |
| 1994 | ||
| 6 | Carolyn Brown, Alan Jeffrey: Allegories of Circuits. LFCS 1994: 56-68 | |
| 5 | Carolyn Brown, Graham Hutton: Categories, Allegories and Circuit Design LICS 1994: 372-381 | |
| 1993 | ||
| 4 | Carolyn Brown, Doug Gurr: Temporal Logic and Categories of Petrie Nets. ICALP 1993: 570-581 | |
| 1992 | ||
| 3 | Carolyn Brown, Doug Gurr: Refinement and Simulation of Nets - A Categorical Characterisation. Application and Theory of Petri Nets 1992: 76-92 | |
| 2 | Carolyn Brown, Doug Gurr: Timing Petri Nets Categorically. ICALP 1992: 571-582 | |
| 1990 | ||
| 1 | Carolyn Brown, Doug Gurr: A Categorical Linear Framework for Petri Nets LICS 1990: 208-218 | |
| 1 | Doug Gurr | [1] [2] [3] [4] [7] |
| 2 | Graham Hutton | [5] |
| 3 | Alan Jeffrey | [6] |