Algebraic and Operational Semantics of Specifications allowing Exceptions and Errors

TitleAlgebraic and Operational Semantics of Specifications allowing Exceptions and Errors
Publication TypeJournal Article
Year of Publication1984
Publicno
AuthorsGogolla, M., K. Drosten, U. W. Lipeck, and H. - D. Ehrich
JournalTheoretical Computer Science
Volume34
Abstract

no

AttachmentSize
1984TCS-ExcErr.pdf728.49 KB