Proving congruence of bisimulation in functional programming languages (1996)
Cached
Download Links
- [research.att.com]
- [ftp.research.bell-labs.com]
- DBLP
Other Repositories/Bibliography
by
Douglas J. Howe
| Venue: | Information and Computation |
| Citations: | 102 - 1 self |
Document Versions
| Proving congruence of bisimulation in functional programming languages –Douglas J. Howe — 1996 — Information and Computation |
| Proving Congruence of Bisimulation in Functional Programming Languages –Douglas J. Howe — 1996 — INFORMATION AND COMPUTATION |
| Proving Congruence of Bisimulation in Functional Programming Languages –Douglas J. Howe, Douglas J. Howe, Douglas J. Howe — 1996 |
