A logic for distributed higher order π-calculus

Authors:
Zining Cao
Affiliations:
Department of Computer Science and Technology, Nanjing University of Aero. & Astro., Nanjing, P.R. China
Venue:
TAMC'08 Proceedings of the 5th international conference on Theory and applications of models of computation
Year:
2008

Citing 9
Cited 0

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
Reasoning about Higher-Order Processes

TAPSOFT '95 Proceedings of the 6th International Joint Conference CAAP/FASE on Theory and Practice of Software Development
Modal Characterization of Weak Bisimulation for Higher-order Processes (Extended Abstract)

TAPSOFT '97 Proceedings of the 7th International Joint Conference CAAP/FASE on Theory and Practice of Software Development
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
Bisimulations for a distributed higher order π-calculus

ICTAC'07 Proceedings of the 4th international conference on Theoretical aspects of 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

Quantified Score

Hi-index	0.00

Visualization

Abstract

In this paper, we present a spatial logic for distributed higher order π-calculus. In order to prove that the induced logical equivalence coincides with distributed context bisimulation, we present some new bisimulations, and prove the equivalence between these new bisimulations and distributed context bisimulation. Furthermore, we present a variant of this spatial logic and prove that it gives a logical characterisation of distributed bisimulations.