A Dependently Typed Ambient Calculus

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2986, Issue , 2004, Pages 171-187

  Lhoussaine, Cédric ^a   Sassone, Vladimiro ^a  

^a UNIVERSITY OF SUSSEX   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

ACCESS CONTROL; DIFFERENTIATION (CALCULUS); GROUP THEORY;

ACCESS CONTROL POLICIES; AMBIENT CALCULUS; AMBIENTS; DEPENDENT TYPES; MOBILE COMPUTATIONS; RESOURCE ACCESS CONTROL; TYPE SYSTEMS;

CALCULATIONS;

EID: 35048830422     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-24725-8_13     Document Type: Article

References (14)

1. T. Amtoft and J. Wells. Mobile processes with dependent communication types and singleton types for names and capabilities. Technical Report 2002-3, Kansas State University, 2002.
2. C. Bodei, P. Degano, F. Nielson, and H. R. Nielson. Static analysis for the π calculus with applications to security. Information and Computation, 168:68-92, 2001.
3. M. Bugliesi, G. Castagna, and S. Crafa. Boxed ambients. In TACS'01, volume 2215 of Lecture Notes in Computer Science, pages 38-63. Springer, 2001.
4. L. Cardelli, G. Ghelli, and A. Gordon. Ambient groups and mobility types. In International Conference IFIP TCS, volume 1872 of Lecture Notes in Computer Science, pages 333-347. Springer, 2000.
5. L. Cardelli, G. Ghelli, and A. Gordon. Secrecy and group creation. In CONCUR'00, volume 1877 of Lecture Notes in Computer Science, pages 365-379. Springer, 2000.
6. L. Cardelli and A. Gordon. Mobile ambients. In FOSSACS'98, volume 1378 of Lecture Notes in Computer Science, pages 140-155. Springer, 1998.
7. L. Cardelli and A. Gordon. Types for mobile ambients. In POPL'99, pages 79-92. ACM Press, 1999.
8. M. Coppo, M. Dezani-Ciancaglini, E. Giovannetti, and I. Salvo. M3: Mobility types for mobile processes in mobile ambients. In CAT'03, volume 78 of Electronic Notes in Theoretical Computer Science. Elsevier, 2003.
9. P. Degano, F. Levi, and C. Bodei. Safe ambients: Control flow analysis and security. In Proceedins of ASIAN'00, volume 1961 of LNCS, pages 199-214. Springer-Verlag, 2000.
10. M. Hennessy, M. Merro, and J. Rathke. Towards a behavioural theory of access and mobility control in distributed systems. In FOSSACS'03, Lecture Notes in Computer Science. Springer, 2003.
11. C. Lhoussaine. Type inference for a distributed π-calculus. In ESOP'03, volume 2618 of Lecture Notes in Computer Science, pages 253-268. Springer, 2003.
12. M. Merro and V. Sassone. Typing and subtyping mobility in boxed ambients. In CONCUR'02, volume 2421 of Lecture Notes in Computer Science, pages 304-320. Springer, 2002.
13. N. Yoshida. Channel dependent types for higher-order mobile processes. In POPL'04, 2004. To appear.
14. N. Yoshida and M. Hennessy. Assigning types to processes. In LICS'00, pages 334-345, 2000.