Doug Gurr

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

Collaborative distances:
  • Dijkstra number2 of six.
  • Erdős number3 of six.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

1993
Temporal Logic and Categories of Petrie Nets.
Proceedings of the Automata, Languages and Programming, 20nd International Colloquium, 1993

1992
Timing Petri Nets Categorically.
Proceedings of the Automata, Languages and Programming, 19th International Colloquium, 1992

Refinement and Simulation of Nets - A Categorical Characterisation.
Proceedings of the Application and Theory of Petri Nets 1992, 1992

1990
A Categorical Linear Framework for Petri Nets
Proceedings of the Fifth Annual Symposium on Logic in Computer Science (LICS '90), 1990


  Loading...