Abstract
In this paper, we present a spatial logic for higher order π-calculus. In order to prove that the induced logical equivalence coincides with context bisimulation, we present some new bisimulations, and prove the equivalence between these new bisimulations and context bisimulation. Furthermore, we present a variant of this spatial logic and prove that it also provides a logical characterisation of context bisimulation.
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 to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Cao, Z.: More on bisimulations for higher-order π -calculus. In: Aceto, L., Ingólfsdóttir, A. (eds.) FOSSACS 2006 and ETAPS 2006. LNCS, vol. 3921, pp. 63–78. Springer, Heidelberg (2006)
Caires, L., Cardelli, L.: A Spatial Logic for Concurrency (Part II). Theoretical Computer Science 322(3), 517–565 (2004)
Caires, L., Cardelli, L.: A Spatial Logic for Concurrency (Part I). Information and Computation 186(2), 194–235 (2003)
Hirschkoff, D.: An Extensional Spatial Logic for Mobile Processes. In: Gardner, P., Yoshida, N. (eds.) CONCUR 2004. LNCS, vol. 3170, pp. 325–339. Springer, Heidelberg (2004)
Jeffrey, A., Rathke, J.: for higher-order π-calculus revisited. Logical Methods in Computer Science 1(1:4), 1–22 (2005)
Milner, R., Parrow, J., Walker, D.: Modal logics for mobile processes. Theoretical Computer Science 114(1), 149–171 (1993)
Sangiorgi, D.: Extensionality and Intensionality of the Ambient Logic. In: Proc. of the 28th POPL, pp. 4–17. ACM Press, New York (2001)
Sangiorgi, D.: Bisimulation in higher-order calculi. Information and Computation 131(2) (1996)
Sangiorgi, D.: Expressing mobility in process algebras: first-order and higher-order paradigms. Ph.D thesis, University of Einburgh (1992)
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). A Spatial Logical Characterisation of Context Bisimulation. In: Okada, M., Satoh, I. (eds) Advances in Computer Science - ASIAN 2006. Secure Software and Related Issues. ASIAN 2006. Lecture Notes in Computer Science, vol 4435. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-77505-8_18
Download citation
DOI: https://doi.org/10.1007/978-3-540-77505-8_18
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-77504-1
Online ISBN: 978-3-540-77505-8
eBook Packages: Computer ScienceComputer Science (R0)