Travelled to:1 × Austria
1 × France
1 × Sweden
1 × USA
Collaborated with:D.Gurr G.Hutton
Talks about:petri (3) net (3) categori (2) categor (2) framework (1) allegori (1) circuit (1) tempor (1) linear (1) design (1)
Person: Carolyn Brown
DBLP: Brown:Carolyn
Contributed to:
1994
199319921990Wrote 4 papers:
- LICS-1994-BrownH #category theory #design
- Categories, Allegories and Circuit Design (CB, GH), pp. 372–381.
- 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.