Fakultät für Informatik
-
Technische Universität München
Lehrstuhl für Effiziente Algorithmen
Die bibliographische Datenbank LEABib
Suchen
•
Liste der Journale
•
Liste der Serien
•
Liste der Konferenzen
•
Ausgewählte Publikationen
Hilfe
Suche: Author="Gurr, Doug"
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
A categorical linear framework for Petri nets
Carolyn Brown
,
Doug Gurr
Information and Computation
122
(2), 1995, November, pp. 268-285
Temporal logic and categories of Petri nets
Carolyn Brown
,
Doug Gurr
Lecture Notes in Computer Science
700
, 1993, pp. 570-581
Timing Petri nets categorically
Carolyn Brown
,
Doug Gurr
Lecture Notes in Computer Science
623
, 1992, pp. 571-582
Refinement and simulation of nets - a categorical characterisation
Carolyn Brown
,
Doug Gurr
Lecture Notes in Computer Science
616
, 1992, pp. 76-92