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
Engineering Dissertations and Theses
Show all metadata
Files
Thumbnail Image
treece_1985_998656.pdf
Adobe PDF, 5.09 MB
Research Projects
Organizational Units
Journal Issue
Keywords
Citation
URI
https://hdl.handle.net/1808/24850
DOI
Embedded videos