Dynamic management of capabilities in a network aware coordination language-Reference-Cited by-同舟云学术

Dynamic management of capabilities in a network aware coordination language

Published:2009-11 Issue:8 Volume:78 Page:665-689
ISSN:1567-8326
Container-title:The Journal of Logic and Algebraic Programming
language:en
Short-container-title:The Journal of Logic and Algebraic Programming

Author:

Gorla Daniele,Pugliese Rosario

Publisher

Elsevier BV

Subject

Computational Theory and Mathematics,Logic,Theoretical Computer Science,Software

Reference63 articles.

1. Logic in access control;Abadi,2003

2. M. Abadi, C. Fournet, Mobile values, new names, and secure communication, in: POPL, 2001, pp. 104–115.

3. M. Abadi, C. Fournet, Access control based on execution history, in: 10th Annual Network and Distributed System Security Symposium (NDSS’03), The Internet Society, 2003.

4. Cryptographically sound implementations for communicating processes;Adão,2006

5. JavaSpaces Principles, Patterns and Practice;Arnold,1999

Cited by 13 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. A formal approach to the engineering of domain-specific distributed systems;Journal of Logical and Algebraic Methods in Programming;2020-02

2. A calculus for modeling floating authorizations;Journal of Logical and Algebraic Methods in Programming;2019-10

3. Revealing the Trajectories of KLAIM Tuples, Statically;Models, Languages, and Tools for Concurrent and Distributed Programming;2019

4. A Calculus for Modeling Floating Authorizations;Formal Techniques for Distributed Objects, Components, and Systems;2018

5. A Formal Approach to the Engineering of Domain-Specific Distributed Systems;Lecture Notes in Computer Science;2018