Temporal Logic and Categories of Petrie Nets.

Carolyn Brown, Doug Gurr

Browse the full ICALP paper archive.