Carolyn Brown, Doug Gurr. Temporal Logic and Categories of Petrie Nets. In Andrzej Lingas, Rolf G. Karlsson, Svante Carlsson, editors, Automata, Languages and Programming, 20nd International Colloquium, ICALP93, Lund, Sweden, July 5-9, 1993, Proceedings. Volume 700 of Lecture Notes in Computer Science, pages 570-581, Springer, 1993.
Abstract is missing.