Checking Strong Open Congruence in χ-Calculus | Zendy

Taolue Chen | Zendy; Jingyang Zhou | Zendy; Tingting Han | Zendy; Jian Lü | Zendy

AI Assistant Blog Pricing

Home ZAIA Blog

Open Access

Checking Strong Open Congruence in χ-Calculus

Author(s) -

Taolue Chen,

Jingyang Zhou,

Tingting Han,

Jian Lü

Publication year - 2004

Publication title -

electronic notes in theoretical computer science

Language(s) - English

Resource type - Journals

SCImago Journal Rank - 0.242

H-Index - 60

ISSN - 1571-0661

DOI - 10.1016/j.entcs.2003.12.003

Subject(s) - bisimulation , congruence (geometry) , pi calculus , process calculus , calculus (dental) , computer science , mathematics , algebra over a field , theoretical computer science , pure mathematics , medicine , geometry , dentistry

The χ-calculus is an important evolution for mobile process calculi. Open congruence is widely studied in χ-calculus. However, there still lacks an algorithm for checking this bisimulation relation. In this paper, the symbolic technique is applied to the research of χ-calculus and an efficient characterization for strong open congruence which does not involve quantification over substitutions is given. Based on it, an algorithm, which instantiates bound names 'on-the-fly', is developed to check strong open congruence for finite control processes

The content you want is available to Zendy users.

Already have an account? Click here to sign in.

Having issues? You can contact us here

Accelerating Research