A syntactic method for proving observational equivalences
| Zugehörige Institution(en) am KIT | Institut für Programmstrukturen und Datenorganisation (IPD) |
| Publikationstyp | Forschungsbericht/Preprint |
| Publikationsjahr | 1996 |
| Sprache | Englisch |
| Identifikator | urn:nbn:de:swb:90-AAA3686960 KITopen-ID: 368696 |
| Serie | Research report. Department of Computer Science, Yale University ; 964 |
| Erscheinungsvermerk | New Haven, Conn. 1993. (Research report. Department of Computer Science, Yale University. 964.) |