BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Austria
1 × Sweden
1 × USA
Collaborated with:
C.Brown
Talks about:
petri (3) net (3) categor (2) framework (1) categori (1) tempor (1) linear (1) logic (1) time (1)

Person: Doug Gurr

DBLP DBLP: Gurr:Doug

Contributed to:

ICALP 19931993
ICALP 19921992
LICS 19901990

Wrote 3 papers:

ICALP-1993-BrownG #category theory #logic #petri net
Temporal Logic and Categories of Petri Nets (CB, DG), pp. 570–581.
ICALP-1992-BrownG #category theory #petri net
Timing Petri Nets Categorically (CB, DG), pp. 571–582.
LICS-1990-BrownG #category theory #framework #linear #petri net
A Categorical Linear Framework for Petri Nets (CB, DG), pp. 208–218.
Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.