Cardelli, L. and Gordon, A.D., Mobile ambients. Foundations of System Specification and Computational Structures, LNCS 1378 (2000) 140--155. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
Contexts and Embeddings for Closed Shallow Action Graphs - Cattani, Leifer, Milner (2000) (4 citations) (Correct)
....for contexts 37 11 Related and future work 44 References 46 Appendix 49 1 2 1 Introduction Action calculi [20] were introduced to develop a theory shared among different calculi for interactive systems. The calculus, the calculus, Petri nets, the Ambient calculus of Cardelli and Gordon [3] and others may all be represented as action calculi. But hitherto this shared framework has not yielded a substantial theoretical advance. New calculi continue to be developed independently, though they often have much in common. One approach to the development is first to define a labelled ....
Cardelli, L. and Gordon, A.D., Mobile ambients. Foundations of System Specification and Computational Structures, Lecture Notes in Comp. Sci. 1378, pp. 140--155, Springer-Verlag, 1998.
Bigraphs for Petri nets - Milner (2004) (7 citations) (Correct)
No context found.
Cardelli, L. and Gordon, A.D., Mobile ambients. Foundations of System Specification and Computational Structures, LNCS 1378 (2000) 140--155.
Bigraphs for Petri nets - Milner (2004) (7 citations) (Correct)
No context found.
Cardelli, L. and Gordon, A.D., Mobile ambients. Foundations of System Specification and Computational Structures, LNCS 1378 (2000) 140--155.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC