Doug Gurr

	1995
5		Carolyn Brown, Doug Gurr: A Categorical Linear Framework for Petri Nets. Inf. Comput. 122(2): 268-285 (1995)
	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

Coauthor Index

1

Carolyn Brown

[1] [2] [3] [4] [5]