ArticlesConcurrent Semantics for the π-calculus1
Under a Creative Commons license
open access
Cited by (0)
- 1
Work supported in part by Esprit Basic Research project CONFER and working group COMPUGRAPH II and by Progetto Speciale CNR “Specifica ad Alto Livelloe Verifica Formale di Sistemi Digitali”.
Copyright © 2000 Published by Elsevier B.V.