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

Carolyn Brown Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys1995
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCarolyn Brown, Doug Gurr: A Categorical Linear Framework for Petri Nets. Inf. Comput. 122(2): 268-285 (1995)
1994
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCarolyn Brown, Alan Jeffrey: Allegories of Circuits. LFCS 1994: 56-68
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCarolyn Brown, Graham Hutton: Categories, Allegories and Circuit Design LICS 1994: 372-381
1993
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCarolyn Brown, Doug Gurr: Temporal Logic and Categories of Petrie Nets. ICALP 1993: 570-581
1992
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCarolyn Brown, Doug Gurr: Refinement and Simulation of Nets - A Categorical Characterisation. Application and Theory of Petri Nets 1992: 76-92
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCarolyn Brown, Doug Gurr: Timing Petri Nets Categorically. ICALP 1992: 571-582
1990
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCarolyn Brown, Doug Gurr: A Categorical Linear Framework for Petri Nets LICS 1990: 208-218

Coauthor Index

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

Colors in the list of coauthors

Last update Sun May 27 04:04:01 2012 CET by the DBLP TeamThis material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page