Intensionality of modal logic for Robust Ambient Calculus
暂无分享,去创建一个
[1] Robin Milner,et al. A Calculus of Mobile Processes, II , 1992, Inf. Comput..
[2] Luca Cardelli,et al. Anytime, anywhere: modal logics for mobile ambients , 2000, POPL '00.
[3] Davide Sangiorgi,et al. Extensionality and intensionality of the ambient logics , 2001, POPL '01.
[4] Luca Cardelli. Semistructured Computation , 1999, DBPL.
[5] Luca Cardelli,et al. TQL: A Query Language for Semistructured Data Based on the Ambient Logic , 2003 .
[6] Witold Charatonik,et al. The Decidability of Model Checking Mobile Ambients , 2001, CSL.
[7] Robin Milner,et al. A Calculus of Mobile Processes, II , 1992, Inf. Comput..
[8] Robin Milner,et al. Barbed Bisimulation , 1992, ICALP.
[9] Luca Cardelli,et al. A Query Language Based on the Ambient Logic , 2001, SEBD.
[10] Jinyuan You,et al. Typing evolving ambients , 2001, Inf. Process. Lett..
[11] Robin Milner,et al. Communication and concurrency , 1989, PHI Series in computer science.
[12] Luca Cardelli,et al. Logical Properties of Name Restriction , 2001, TLCA.
[13] Davide Sangiorgi,et al. Separability, expressiveness, and decidability in the ambient logic , 2002, Proceedings 17th Annual IEEE Symposium on Logic in Computer Science.
[14] Davide Sangiorgi,et al. Controlling interference in ambients , 2000, POPL '00.
[15] Robin Milner,et al. Algebraic laws for nondeterminism and concurrency , 1985, JACM.
[16] Luca Cardelli,et al. Mobile Ambients , 1998, FoSSaCS.