Search the dblp DataBase
Carolyn Brown :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
Carolyn Brown , Doug Gurr Refinement and Simulation of Nets - A Categorical Characterisation. [Citation Graph (0, 0)][DBLP ] Application and Theory of Petri Nets, 1992, pp:76-92 [Conf ] Carolyn Brown , Doug Gurr Timing Petri Nets Categorically. [Citation Graph (0, 0)][DBLP ] ICALP, 1992, pp:571-582 [Conf ] Carolyn Brown , Doug Gurr Temporal Logic and Categories of Petrie Nets. [Citation Graph (0, 0)][DBLP ] ICALP, 1993, pp:570-581 [Conf ] Carolyn Brown , Alan Jeffrey Allegories of Circuits. [Citation Graph (0, 0)][DBLP ] LFCS, 1994, pp:56-68 [Conf ] Carolyn Brown , Doug Gurr A Categorical Linear Framework for Petri Nets [Citation Graph (0, 0)][DBLP ] LICS, 1990, pp:208-218 [Conf ] Carolyn Brown , Graham Hutton Categories, Allegories and Circuit Design [Citation Graph (0, 0)][DBLP ] LICS, 1994, pp:372-381 [Conf ] Carolyn Brown , Doug Gurr A Categorical Linear Framework for Petri Nets. [Citation Graph (0, 0)][DBLP ] Inf. Comput., 1995, v:122, n:2, pp:268-285 [Journal ] Search in 0.000secs, Finished in 0.000secs