ContributionMultisets and structural congruence of the pi-calculus with replication
Under an Elsevier user license
open archive
Keywords
Multiset
Congruence
Pi-calculus
Petri nets
Cited by (0)
- 1
The research of this author was supported by the Esprit Basic Working Group No. 6067 CALIBAN.
Copyright © 1999 Published by Elsevier B.V.