Bisimulation

Undecidable equivalences for basic parallel processes

Trace / Label / Bisimulation / Etiquette / Spectrum / Linear Time / Restriction / Linear Time / Restriction