On automatically distinguishing inequivalent processes

• 6 June 1991
• book chapter
• Published by American Mathematical Society (AMS)
• Vol. 3, 463-476
• https://doi.org/10.1090/dimacs/003/28

Abstract