For the most recent entries see the Petri Nets Newsletter.

On the Algorithmic Properties of Concurrent Programs.

Salwicki, A.; Müldner, T.

In: Engeler, V.: Lecture Notes in Computer Science, Vol. 125: Logic of Programs, Proceedings 1979, pages 169-197. New York: Springer-Verlag, 1981.


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

Back to the Petri Nets Bibliography