dblp.uni-trier.dewww.uni-trier.de

Doug Gurr

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

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

1Carolyn Brown [1] [2] [3] [4] [5]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)