Skip to main content

A Domain Equation for Bisimulation

S. Abramsky

Book Title
J. Information and Computation
Number
2
Pages
161−218
Volume
92
Year
1991