Carolyn Brown

	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

Coauthor Index

1	Doug Gurr	[1] [2] [3] [4] [7]
2	Graham Hutton	[5]
3	Alan Jeffrey	[6]

Colors in the list of coauthors