Doug Gurr

Publication Activity (10 Years)

Years Active: 1990-1995
Publications (10 Years): 0

Publications

Carolyn Brown, Doug Gurr
A Categorical Linear Framework for Petri Nets. Inf. Comput. 122 (2) (1995)
Carolyn Brown, Doug Gurr
Temporal Logic and Categories of Petrie Nets. ICALP (1993)
Carolyn Brown, Doug Gurr
Refinement and Simulation of Nets - A Categorical Characterisation. Application and Theory of Petri Nets (1992)
Carolyn Brown, Doug Gurr
Timing Petri Nets Categorically. ICALP (1992)
Carolyn Brown, Doug Gurr
A Categorical Linear Framework for Petri Nets LICS (1990)