PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Riely, James"

Author of the publication

copydeleteadd this publication to your clipboard
Lambda-RBAC: Programming with Role-Based Access Control

, , , and . CoRR, (2007)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Univ. -Prof. Dr. James Foster University of Stuttgart

Samuel James Tovey University of Stuttgart

 

Other publications of authors with the same name

On Thin Air Reads Towards an Event Structures Model of Relaxed Memory., and . LICS, page 759-767. ACM, (2016)lambda-RBAC: Programming with Role-Based Access Control., , , and . ICALP (2), volume 4052 of Lecture Notes in Computer Science, page 456-467. Springer, (2006)Type-Safe Execution of Mobile Agents in Anonymous Networks., and . ECOOP Workshops, volume 1543 of Lecture Notes in Computer Science, page 304. Springer, (1998)Brookes Is Relaxed, Almost!, , and . FoSSaCS, volume 7213 of Lecture Notes in Computer Science, page 180-194. Springer, (2012)Specifications of a high-level conflict-free firewall policy language for multi-domain networks., , , , and . SACMAT, page 185-194. ACM, (2007)Specification and Development of Parallel Algorithms with the Proteus System., , , , , and . Specification of Parallel Algorithms, volume 18 of DIMACS Series in Discrete Mathematics and Theoretical Computer Science, page 383-399. DIMACS/AMS, (1994)Testing-Based Abstractions for Value-Passing Systems., and . CONCUR, volume 836 of Lecture Notes in Computer Science, page 417-432. Springer, (1994)Towards a Theory of Accountability and Audit., , , and . ESORICS, volume 5789 of Lecture Notes in Computer Science, page 152-167. Springer, (2009)A Typed Language for Distributed Mobile Processes (Extended Abstract)., and . POPL, page 378-390. ACM, (1998)Local Memory via Layout Randomization., , , and . CSF, page 161-174. IEEE Computer Society, (2011)