Home // COMPUTATION TOOLS 2013, The Fourth International Conference on Computational Logics, Algebras, Programming, Tools, and Benchmarking // View article

Reducing Higher Order pi-Calculus to Spatial Logics

Authors:
Zining Cao

Keywords: higher order pi-calculus; spatial logic; inference system

Abstract:
In this paper, we show that the theory of processes can be reduced to the theory of spatial logic. Firstly, we propose a spatial logic SL for higher order -calculus, and give an inference system of SL. The soundness and incompleteness of SL are proved. Furthermore, we show that the structure congruence relation and one-step transition relation can be described as the logical relation of SL formulas. At last we extend all definitions and results of SL to a weak semantics version of SL; called WL:

Pages: 44 to 53

Copyright: Copyright (c) IARIA, 2013

Publication date: May 27, 2013

Published in: conference

ISSN: 2308-4170

ISBN: 978-1-61208-277-6

Location: Valencia, Spain

Dates: from May 27, 2013 to June 1, 2013