Back to results

University of Illinois at Urbana-Champaign

Types for mutual exclusion in concurrent programming languages

Abstract

dc:description

Submission original under an indefinite embargo labeled 'Open Access'. The submission was exported from vireo on 2023-04-12 without embargo terms

Degree

thesis:*
Name thesis:degree_name
M.S.
Level thesis:degree_level
Thesis
Discipline thesis:degree_discipline
Computer Science
Grantor
University of Illinois at Urbana-Champaign
Year dc:date
2022

Author and committee

dc:creator, dc:contributor.*
Author dc:creator
  • Lee, John J
Contributors dc:contributor
  • Gunter, Elsa L

Subjects

dc:subject × 3

Rights

dc:rights
Statement dc:rights
  • Copyright 2022 John J. Lee
Language dc:language
en, eng

Identifiers

dc:identifier.*
Handle dc:identifier
https://hdl.handle.net/2142/117836
OAI identifier oai:identifier
oai:www.ideals.illinois.edu:2142/117836

Chain of custody

source
Harvested from
University of Illinois - Urbana-Champaign
Base URL
www.ideals.illinois.edu/oai-pmh
Last updated
2026-07-22
Source record
OAI-PMH GetRecord
citation

Lee, John J. Types for mutual exclusion in concurrent programming languages. Thesis thesis, University of Illinois at Urbana-Champaign, 2022. https://hdl.handle.net/2142/117836