For the most recent entries see the Petri Nets Newsletter.

Testing Equivalences and Fully Abstract Models for Communicating Processes.

de Nicola, R.

Instituto di Elaborazione della Informazione, Pisa, Consiglio Nazionale delle Ricerche, Ph.D. Thesis (Univ. of Edinburgh), Nota Interna B85-22, December 1985.

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

Back to the Petri Nets Bibliography