For the most recent entries see the Petri Nets Newsletter.

Axiomatizing CCS, Nets and Processes.

De Francesco, N.; Montanari, U.; Yankelevich, D.

In: Science of Computer Programming, Vol. 21, No.3, pages 225-261. 1993.

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

Back to the Petri Nets Bibliography