BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Brown:Carolyn

Contributed to:

LICS 19941994
ICALP 19931993
ICALP 19921992
LICS 19901990

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.