Modular Bisimulation Theory for Computations and Values

Lecture Notes in Computer Science - Foundations of Software Science and Computation Structures ◽

10.1007/978-3-642-37075-5_7 ◽

2013 ◽

pp. 97-112 ◽

Author(s):

Martin Churchill ◽

Peter D. Mosses

Download Full-text