For the most recent entries see the Petri Nets Newsletter.

An Operational Semantics for Process Algebra.

Baeten, J.C.M.; Bergstra, J.A.; Klop, J.W.

Centre for Mathematics and Computer Science, Amsterdam, Report CS-R8522, September 1985.


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

Back to the Petri Nets Bibliography