Optimization and implementation of a bisimulation checking algorithm for the π-calculus

Ruan Jian Xue Bao/Journal of Software

Volumn 12, Issue 2, 2001, Pages 159-166

  Xu, W ^a   Fang, H ^a   Lin, H M ^a  

^a INSTITUTE OF SOFTWARE   (China)

Author keywords

calculus; Bisimulation; Process algebra; Verification algorithm

Indexed keywords

ALGEBRA; ALGORITHMS; BENCHMARKING; CALCULATIONS; OPTIMIZATION; PROCESS CONTROL; SIMULATION; TOPOLOGY;

BISIMULATION CHECK; CALCULUS; FREE NAMES; ISTANTIATING INPUT NAMES; PROCESS ALGEBRA;

COMMUNICATION SYSTEMS;

EID: 0035242263     PISSN: 10009825     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Article

References (8)

1. Computing bisimulations for finite-control π-calculus
2. A calculus of mobile processes, Part I, II,
3. A verification tool for the polyadic π-calculus
4. The mobility workbench - A tool of the π-calculus
5. A theory of bisimulation for the π-calculus
6. Symbolic bisimulations
7. On-the-fly Instantiation of value-passing processes
8. A local optimization algorithm for symbolic transition graphs with assignment