Login / Signup

Proving Congruence of Bisimulation in Functional Programming Languages.

Douglas J. Howe
Published in: Inf. Comput. (1996)
Keyphrases