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

On an Inference System for a Hybrid Process Calculus

Authors:
Zining Cao

Keywords: hybrid process calculus; symbolic bisimulation; inference system

Abstract:
In this paper, we propose a hybrid process calculus. This hybrid process calculus can be used to describe hybrid properties and nondeterministic properties of software. The concrete bisimulation and symbolic bisimulation of this hybrid process calculus are proposed. We then prove the equivalence between these two bisimulation. An inference system for the symbolic bisimulation of this hybrid process calculus is given. At last, we prove the soundness and completeness of the inference system.

Pages: 7 to 13

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