Testing equivalence for asymmetric χ-calculus

Authors:
Zhifeng Zhu;Farong Zhong
Affiliations:
Zhejiang Normal University;Zhejiang Normal University
Venue:
AsiaMS '07 Proceedings of the IASTED Asian Conference on Modelling and Simulation
Year:
2007

Citing 14
Cited 0

Communicating sequential processes

Communicating sequential processes
A calculus of mobile processes, I

Information and Computation
Symbolic bisimulations

MFPS '92 Selected papers of the meeting on Mathematical foundations of programming semantics
Testing equivalence for mobile processes

Information and Computation
A symbolic semantics for the &pgr;-calculus

Information and Computation
Variations on mobile processes

Theoretical Computer Science
Communication and Concurrency

Communication and Concurrency
Algebraic Theory of Processes

Algebraic Theory of Processes
Testing congruence for mobile processes

Journal of Computer Science and Technology
Understanding the mismatch combinator in Chi calculus

Theoretical Computer Science
An Object Calculus for Asynchronous Communication

ECOOP '91 Proceedings of the European Conference on Object-Oriented Programming
Process theory based on bisimulation semantics

Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency, School/Workshop
A Proof Theoretical Approach to Communication

ICALP '97 Proceedings of the 24th International Colloquium on Automata, Languages and Programming
The x-Calculus

APDC '97 Proceedings of the 1997 Advances in Parallel and Distributed Computing Conference (APDC '97)

Quantified Score

Hi-index	0.00

Visualization

Abstract

We study testing equivalence for asymmetric χ-calculus in this paper. Our focus is to introduce a proof system including the laws for both strong observational equivalence and invisible actions. Soundness and completeness of the proof system w.r.t a testing preorder is presented that takes advantage of reductions of processes to normal forms.