On the Operational Semantics of Nondeterminism and Divergence

From National Research Council Canada

Download
  1. (PDF, 823 KB)
AuthorSearch for: ; Search for: ; Search for:
FormatText
TypeArticle
Proceedings titleSemantics and Theory of Programming
ConferenceTheoretical Computer Science B: Logics, January 1996.
Volume160: 271-317
Abstract
Publication date
Terms of use
LanguageEnglish
NRC number39184
NPARC number8913167
Export citationExport as RIS
Report a correctionReport a correction
Record identifier956a76ec-3741-453f-aaf0-49146ebc0966
Record created2009-04-22
Record modified2019-03-14
Date modified: