Bisimulation

Undecidable equivalences for basic parallel processes

Trace / Label / Bisimulation / Etiquette / Spectrum / Linear Time / Restriction / Linear Time / Restriction
Copyright © 2017 DATOSPDF Inc.