Resumption models : a denotational semantics for concurrency and synchronization

Treece, Robert L.

dc.contributor.author	Treece, Robert L.
dc.date.accessioned	2017-08-17T13:54:53Z
dc.date.available	2017-08-17T13:54:53Z
dc.date.issued	1985
dc.identifier.uri	http://hdl.handle.net/1808/24850
dc.description	Thesis (M.S.)--University of Kansas, Computer Science, 1985.
dc.language	eng
dc.publisher	University of Kansas	en_US
dc.rights	This work is in the public domain and is available for users to copy, use, and redistribute in part or in whole. No known restrictions apply to the work.
dc.title	Resumption models : a denotational semantics for concurrency and synchronization	en_US
dc.type	Thesis	en_US
dc.thesis.degreeDiscipline	Computer Science
dc.thesis.degreeLevel	M.S.
kusw.bibid	998656
dc.rights.accessrights	openAccess

Files in this item

Name:: treece_1985_998656.pdf
Size:: 5.086Mb
Format:: PDF

View/Open

This item appears in the following Collection(s)

The University of Kansas prohibits discrimination on the basis of race, color, ethnicity, religion, sex, national origin, age, ancestry, disability, status as a veteran, sexual orientation, marital status, parental status, gender identity, gender expression and genetic information in the University’s programs and activities. The following person has been designated to handle inquiries regarding the non-discrimination policies: Director of the Office of Institutional Opportunity and Access, IOA@ku.edu, 1246 W. Campus Road, Room 153A, Lawrence, KS, 66045, (785)864-6414, 711 TTY.