| Article ID | Journal | Published Year | Pages | File Type |
|---|---|---|---|---|
| 9657839 | Theoretical Computer Science | 2005 | 31 Pages |
Abstract
Quasi-open bisimilarity is a variant of the open bisimilarity based on a closer examination of the observationality of local names. The paper investigates two alternative characterizations of the quasi-open bisimilarity and provides a complete system for the weak quasi-open congruence.
Related Topics
Physical Sciences and Engineering
Computer Science
Computational Theory and Mathematics
Authors
Yuxi Fu,