Login / Signup

Place bisimulation equivalences for design of concurrent and sequential systems.

Igor V. Tarasyuk
Published in: Electron. Notes Theor. Comput. Sci. (1998)
Keyphrases