BibTeX records: Doug Gurr

download as .bib file

@article{DBLP:journals/iandc/BrownG95,
  author    = {Carolyn Brown and
               Doug Gurr},
  title     = {A Categorical Linear Framework for Petri Nets},
  journal   = {Inf. Comput.},
  volume    = {122},
  number    = {2},
  pages     = {268--285},
  year      = {1995},
  url       = {https://doi.org/10.1006/inco.1995.1150},
  doi       = {10.1006/inco.1995.1150},
  timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/iandc/BrownG95.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/BrownG93,
  author    = {Carolyn Brown and
               Doug Gurr},
  editor    = {Andrzej Lingas and
               Rolf G. Karlsson and
               Svante Carlsson},
  title     = {Temporal Logic and Categories of Petrie Nets},
  booktitle = {Automata, Languages and Programming, 20nd International Colloquium,
               ICALP93, Lund, Sweden, July 5-9, 1993, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {700},
  pages     = {570--581},
  publisher = {Springer},
  year      = {1993},
  url       = {https://doi.org/10.1007/3-540-56939-1\_103},
  doi       = {10.1007/3-540-56939-1\_103},
  timestamp = {Tue, 14 May 2019 10:00:44 +0200},
  biburl    = {https://dblp.org/rec/conf/icalp/BrownG93.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/BrownG92,
  author    = {Carolyn Brown and
               Doug Gurr},
  editor    = {Kurt Jensen},
  title     = {Refinement and Simulation of Nets - {A} Categorical Characterisation},
  booktitle = {Application and Theory of Petri Nets 1992, 13th International Conference,
               Sheffield, UK, June 22-26, 1992, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {616},
  pages     = {76--92},
  publisher = {Springer},
  year      = {1992},
  url       = {https://doi.org/10.1007/3-540-55676-1\_5},
  doi       = {10.1007/3-540-55676-1\_5},
  timestamp = {Tue, 14 May 2019 10:00:45 +0200},
  biburl    = {https://dblp.org/rec/conf/apn/BrownG92.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/BrownG92,
  author    = {Carolyn Brown and
               Doug Gurr},
  editor    = {Werner Kuich},
  title     = {Timing Petri Nets Categorically},
  booktitle = {Automata, Languages and Programming, 19th International Colloquium,
               ICALP92, Vienna, Austria, July 13-17, 1992, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {623},
  pages     = {571--582},
  publisher = {Springer},
  year      = {1992},
  url       = {https://doi.org/10.1007/3-540-55719-9\_105},
  doi       = {10.1007/3-540-55719-9\_105},
  timestamp = {Tue, 14 May 2019 10:00:44 +0200},
  biburl    = {https://dblp.org/rec/conf/icalp/BrownG92.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/BrownG90,
  author    = {Carolyn Brown and
               Doug Gurr},
  title     = {A Categorical Linear Framework for Petri Nets},
  booktitle = {Proceedings of the Fifth Annual Symposium on Logic in Computer Science
               {(LICS} '90), Philadelphia, Pennsylvania, USA, June 4-7, 1990},
  pages     = {208--218},
  publisher = {{IEEE} Computer Society},
  year      = {1990},
  url       = {https://doi.org/10.1109/LICS.1990.113747},
  doi       = {10.1109/LICS.1990.113747},
  timestamp = {Wed, 16 Oct 2019 14:14:54 +0200},
  biburl    = {https://dblp.org/rec/conf/lics/BrownG90.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics