Carolyn Brown

According to our database, Carolyn Brown authored at least 7 papers between 1984 and 1995.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

1995

A Categorical Linear Framework for Petri Nets.

Carolyn Brown, Doug Gurr

Inf. Comput., 1995

1994

Categories, Allegories and Circuit Design

Carolyn Brown, Graham Hutton

Proceedings of the Ninth Annual Symposium on Logic in Computer Science (LICS '94), 1994

Allegories of Circuits.

Carolyn Brown, Alan Jeffrey

Proceedings of the Logical Foundations of Computer Science, Third International Symposium, 1994

1993

Temporal Logic and Categories of Petrie Nets.

Carolyn Brown, Doug Gurr

Proceedings of the Automata, Languages and Programming, 20nd International Colloquium, 1993

1992

Timing Petri Nets Categorically.

Carolyn Brown, Doug Gurr

Proceedings of the Automata, Languages and Programming, 19th International Colloquium, 1992

Refinement and Simulation of Nets - A Categorical Characterisation.

Carolyn Brown, Doug Gurr

Proceedings of the Application and Theory of Petri Nets 1992, 1992

1984

Interactive Information Networks and UK Libraries.

Brian Vickery, Richard Heseltine, Carolyn Brown

J. Documentation, 1984