Thumbnail Image
Publication

Resumption models : a denotational semantics for concurrency and synchronization

Treece, Robert L.
Citations
Altmetric:
Abstract
Description
Thesis (M.S.)--University of Kansas, Computer Science, 1985.
Date
1985
Journal Title
Journal ISSN
Volume Title
Publisher
University of Kansas
Collections
Theses
Load more
Show all metadata
Research Projects
Organizational Units
Journal Issue
Keywords
Citation
URI
https://hdl.handle.net/1808/24850
DOI
Embedded videos