Abstract
In this paper we design a distributed variant of higher order π-calculus which takes distributed location into account. Furthermore, we present three bisimulations for such a distributed higher order π-calculus, called distributed context bisimulation, distributed normal bisimulation and distributed reduction bisimulation respectively. We prove that the three distributed bisimulations are equivalent.
Keywords
- Location Variable
- Operational Semantic
- Parallel Composition
- Factorisation Theorem
- Label Transition System
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
This work was supported by the National Natural Science Foundation of China under Grant 60473036.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Aceto, L.: A static view of localities. Formal Aspects of Computing 6(2), 201–222 (1994)
Boudol, G., Castellani, I., Hennessy, M., Kiehn, A.: A theory of processes with localities. Formal Aspects of Computing 6, 165–200 (1994)
Boudol, G., Castellani, I., Hennessy, M., Kiehn, A.: Observing localities. Theoretical Computer Science 114, 31–61 (1993)
Castellani, I.: Process Algebras with Localities. In: Bergstra, J., Ponse, A., Smolka, S. (eds.) Handbook of Process Algebra, ch. 15, North-Holland, Amsterdam (2001)
Castellani, I.: Observing distribution in processes: static and dynamic localities. Int. Journal of Foundations of Computer Science 6(4), 353–393 (1995)
Castellani, I., Hennessy, M.: Distributed Bisimulations. Journal of the ACM 36(4), 887–911 (1989)
Corradini, F., De Nicola, R.: Locality based semantics for process algebras. Acta Informatica 34, 291–324 (1997)
Godskesen, J.C., Hildebrandt, T., Sassone, V.: A Calculus of Mobile Resources. In: Brim, L., Jančar, P., Křetínský, M., Kucera, A. (eds.) CONCUR 2002. LNCS, vol. 2421, pp. 272–287. Springer, Heidelberg (2002)
Hildebrandt, T., Godskesen, J.C., Bundgaard, M.: Bisimulation Congruences for Homer - a Calculus of Higher Order Mobile Embedded Resources. Technical Report TR-2004-52, IT University of Copenhagen (2004)
Hennessy, M., Rathke, J., Yoshida, N.: SafeDpi: a language for controlling mobile code. In: Walukiewicz, I. (ed.) FOSSACS 2004. LNCS, vol. 2987, pp. 241–256. Springer, Heidelberg (2004)
Riely, J., Hennessy, M.: A typed language for distributed mobile processes. In: Proceedings of POPL 1998 (1998)
Sangiorgi, D.: Bisimulation in higher-order calculi. Information and Computation 131(2) (1996)
Sangiorgi, D.: Locality and interleaving semantics in calculi for mobile processes. In: Hagiya, M., Mitchell, J.C. (eds.) TACS 1994. LNCS, vol. 789, Springer, Heidelberg (1994)
Sangiorgi, D.: Expressing mobility in process algebras: first-order and higher-order paradigms, Ph.D thesis, University of Einburgh (1992)
Schmitt, A., Stefani, J.: The Kell calculus: A family of higher order distributed process calculi. In: Priami, C., Quaglia, P. (eds.) GC 2004. LNCS, vol. 3267, Springer, Heidelberg (2005)
Schmitt, A., Stefani, J.: The M-calculus: a higher-order distributed process calculus. ACM SIGPLAN Notices 38(1), 50–61 (2003)
Vitek, J., Castagna, G.: Seal: A framework for secure mobile computations. In: Tsichritzis, D. (ed.) Workshop on Internet Programming Languages (1999)
Yoshida, N., Hennessy, M.: Subtyping and locality in distributed higher order processes. In: Baeten, J.C.M., Mauw, S. (eds.) CONCUR 1999. LNCS, vol. 1664, Springer, Heidelberg (1999)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2007 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Cao, Z. (2007). Bisimulations for a Distributed Higher Order π-Calculus. In: Jones, C.B., Liu, Z., Woodcock, J. (eds) Theoretical Aspects of Computing – ICTAC 2007. ICTAC 2007. Lecture Notes in Computer Science, vol 4711. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-75292-9_7
Download citation
DOI: https://doi.org/10.1007/978-3-540-75292-9_7
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-75290-5
Online ISBN: 978-3-540-75292-9
eBook Packages: Computer ScienceComputer Science (R0)