Computability Classes for Enforcement Mechanisms (2003)

by Kevin W. Hamlen , Greg Morrisett , Fred B. Schneider
Venue:ACM Transactions on Programming Languages and Systems
Citations:79 - 18 self

Document Versions

Computability Classes for Enforcement Mechanisms –Kevin W. Hamlen, Greg Morrisett, Fred B. Schneider — 2003 — ACM Transactions on Programming Languages and Systems
Computability Classes for Enforcement Mechanisms –Kevin W. Hamlen, Kevin W. Hamlen, Greg Morrisett, Greg Morrisett, Fred B. Schneider, Fred B. Schneider — 2003 — ACM Transactions on Programming Languages and Systems