Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Kevin Bierhoff
Checking Concurrent Typestate With Access Permissions in Plural: A Retrospective
A Language-Based Approach to Specification and Enforcement of Architectural Protocols
