Testing Equivalence for Mobile Processes (Extended Abstract)

Michele Boreale, Rocco De Nicola. Testing Equivalence for Mobile Processes (Extended Abstract). In Rance Cleaveland, editor, CONCUR 92, Third International Conference on Concurrency Theory, Stony Brook, NY, USA, August 24-27, 1992, Proceedings. Volume 630 of Lecture Notes in Computer Science, pages 2-16, Springer, 1992.

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.