Testing Congruence for Mobile Processes

FU Yuxi. Testing Congruence for Mobile Processes[J]. Journal of Computer Science and Technology, 2002, 17(1).

Citation:

FU Yuxi. Testing Congruence for Mobile Processes[J]. Journal of Computer Science and Technology, 2002, 17(1).

Citation:

FU Yuxi. Testing Congruence for Mobile Processes[J]. Journal of Computer Science and Technology, 2002, 17(1).

Abstract

Testing equivalence on pi processes has been studied in literature.The equivalence is not closed under the input prefix operator and is thereforenot a congruence relation. This note takes a look at testing congruenceon finite pi processes. A complete equational system is given forthe congruence relation.

FullText(HTML)

Export File