A Domain Equation for Bisimulation
S. Abramsky
Details
| Book Title |
J. Information and Computation |
| Number |
2 |
| Pages |
161−218 |
| Volume |
92 |
| Year |
1991 |
Links
Related pages
|
People |