A spatial logical characterisation of context bisimulation

Authors:
Zining Cao
Affiliations:
Department of Computer Science and Engineering, Nanjing University of Aero. & Astro., Nanjing, P.R. China
Venue:
ASIAN'06 Proceedings of the 11th Asian computing science conference on Advances in computer science: secure software and related issues
Year:
2006

Citing 6
Cited 1

Modal logics for mobile processes

Selected papers of the 3rd workshop on Concurrency and compositionality
Bisimulation for higher-order process calculi

Information and Computation
Extensionality and intensionality of the ambient logics

POPL '01 Proceedings of the 28th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
A spatial logic for concurrency (part I)

Information and Computation - TACS 2001
A spatial logic for concurrency--II

Theoretical Computer Science - Special issue: Foundations of wide area network computing
More on bisimulations for higher order π-calculus

FOSSACS'06 Proceedings of the 9th European joint conference on Foundations of Software Science and Computation Structures

More on bisimulations for higher order π-calculus

Theoretical Computer Science

Quantified Score

Hi-index	0.00

Visualization

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.