For the most recent entries see the Petri Nets Newsletter.

On the Decidability of Fragments of the Asynchronous pi-Calculus.

Amadio, Roberto M.; Meyssonnier, Charles

In: Aceto, L.; Panangaden, P.: Electronic Notes in Theoretical Computer Science, Vol. 52. Elsevier, 2002.


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

Back to the Petri Nets Bibliography