Vector Addition Systems and Synchronization Problems of Concurrent Processes.

For the most recent entries see the Petri Nets Newsletter.

Honolulu, Hawaii: University of Hawaii, Technical Report ARO-23, September 1974.

Do you need a refined search? Try our search engine which allows complex field-based queries.