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