Testing Equivalence for Mobile Processes (Extended Abstract) - researchr publication related

researchr

You are not signed in
Sign in
Sign up

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.

The following publications are possibly variants of this publication:

Testing Equivalence for Mobile ProcessesMichele Boreale, Rocco De Nicola. iandc, 120(2):279-303, August 1995.

Testing Equivalences for ProcessesRocco De Nicola, Matthew Hennessy. TCS, 34:83-133, 1984.

Testing Equivalence for ProcessesRocco De Nicola, Matthew Hennessy. icalp 1983: 548-560

runs on WebDSL