On the Operational Semantics of Nondeterminism and Divergence

Download
  1. (PDF, 498 KB)
AuthorSearch for: ; Search for: ; Search for:
TypeArticle
Proceedings titleSemantics and Theory of Programming
ConferenceTheoretical Computer Science B: Logics, January 1996.
Volume160: 271-317
Abstract
Publication date
LanguageEnglish
AffiliationNRC Institute for Information Technology; National Research Council Canada
Peer reviewedNo
NRC number39184
NPARC number8913167
Export citationExport as RIS
Report a correctionReport a correction
Record identifier956a76ec-3741-453f-aaf0-49146ebc0966
Record created2009-04-22
Record modified2016-05-09
Bookmark and share
  • Share this page with Facebook (Opens in a new window)
  • Share this page with Twitter (Opens in a new window)
  • Share this page with Google+ (Opens in a new window)
Date modified: