Sequential Processes, Deadlocks, and Semaphore Primitives.

For the most recent entries see the Petri Nets Newsletter.

Cambridge: Havard University, Technical Report 7--75, 1975.

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