IEEE Symposium on Foundations of Computer Science Bibliography IEEE Symposium on Foundations of Computer Science Bibliography Vineet Gupta and Vaughan Pratt .
Gages accept concurrent behavior.
Selected papers that cite this one Carolyn Brown and Doug Gurr. A categorical linear framework for Petri nets. R. J. van Glabbeek and G. D. Plotkin. IEEE Computer Society Press. Vaughan R. Pratt.