Jump to Content

Access Control in a Core Calculus of Dependency

Electr. Notes Theor. Comput. Sci., vol. 172 (2007), pp. 5-31

Abstract

Research Areas