摘要: The ambient calculus is a process for describing mobile computation. We develop theory of Morris-style contextual equivalence proving properties ambients. prove context lemma that allows derivation equivalences by considering contexts particular limited form, rather than all arbitrary contexts. give an activity characterizes the possible interactions between and context. several examples equivalence. proofs depend on characterizing reductions in terms labelled transition system.
springer.com
core.ac.uk
sci-hub.st 参考文章(18)
Roberto M. Amadio, Sanjiva Prasad, Localities and failures (extended summary) foundations of software technology and theoretical computer science. pp. 205- 216 ,(1994) , 10.1007/3-540-58715-2_126
Matthew Hennessy, A Typed Language for Distributed Mobile Processes ,(1998)
Martı́n Abadi, Andrew D. Gordon, A calculus for cryptographic protocols Information & Computation. ,vol. 148, pp. 1- 70 ,(1999) , 10.1006/INCO.1998.2740
Sanjiva Prasad, Roberto M. Amadio, Localities and Failures (Extended Abstract) foundations of software technology and theoretical computer science. pp. 205- 216 ,(1994)
Davide Sangiorgi, Expressing mobility in process algebras: first-order and higher-order paradigms The University of Edinburgh. ,(1993)
M. Abadi, C. Fournet, G. Gonthier, Secure implementation of channel abstractions logic in computer science. pp. 105- 116 ,(1998) , 10.1109/LICS.1998.705647
James Riely, Matthew Hennessy, A typed language for distributed mobile processes (extended abstract) symposium on principles of programming languages. pp. 378- 390 ,(1998) , 10.1145/268946.268978
G.D. Plotkin, LCF considered as a programming language Theoretical Computer Science. ,vol. 5, pp. 223- 255 ,(1977) , 10.1016/0304-3975(77)90044-5
Robin Milner, Joachim Parrow, David Walker, A Calculus of Mobile Processes - Part II Information & Computation. ,vol. 100, pp. 41- 77 ,(1992) , 10.1016/0890-5401(92)90009-5
Robin Milner, Fully abstract models of typed λ-calculi Theoretical Computer Science. ,vol. 4, pp. 1- 22 ,(1977) , 10.1016/0304-3975(77)90053-6