Carolyn Brown

Publication Activity (10 Years)

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

Publications

Carolyn Brown, Doug Gurr
A Categorical Linear Framework for Petri Nets. Inf. Comput. 122 (2) (1995)
Carolyn Brown, Graham Hutton
Categories, Allegories and Circuit Design LICS (1994)
Carolyn Brown, Alan Jeffrey
Allegories of Circuits. LFCS (1994)
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)
Brian Vickery, Richard Heseltine, Carolyn Brown
Interactive Information Networks and UK Libraries. J. Documentation 40 (1) (1984)