Concurrent Semantics for the π-calculus1 1Work 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”.
1995 ◽
Vol 1
◽
pp. 411-429
◽
2013 ◽
Vol 46
(13)
◽
pp. 520-525
◽
Keyword(s):
Keyword(s):
1993 ◽
pp. 3-20
◽
Keyword(s):