Login / Signup

Processes as Terms: Non-Well-Founded Models for Bisimulation.

Jan J. M. M. Rutten
Published in: Math. Struct. Comput. Sci. (1992)
Keyphrases