Doug Gurr

According to our database¹, Doug Gurr authored at least 4 papers between 1990 and 1993.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

1993

Temporal Logic and Categories of Petrie Nets.

[BibT_eX]

[DOI]

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

1992

Timing Petri Nets Categorically.

[BibT_eX]

[DOI]

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

Refinement and Simulation of Nets - A Categorical Characterisation.

[BibT_eX]

[DOI]

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

1990

A Categorical Linear Framework for Petri Nets

[BibT_eX]

[DOI]

Proceedings of the Fifth Annual Symposium on Logic in Computer Science (LICS '90), 1990