NoteA note on the complexity of deciding bisimilarity of normed unary processes
Under an Elsevier user license
open archive
Cited by (0)
Copyright © 1994 Published by Elsevier B.V.