Login / Signup

Modular Bisimulation Theory for Computations and Values.

Martin ChurchillPeter D. Mosses
Published in: FoSSaCS (2013)
Keyphrases