| Article ID | Journal | Published Year | Pages | File Type |
|---|---|---|---|---|
| 10331311 | Information Processing Letters | 2005 | 5 Pages |
Abstract
This paper presents the notion of a compression structure of a process. It is proved that two processes are orthogonally bisimilar if and only if they have the same compression structure. Thus compression structure characterizes orthogonal bisimulation in the same way as branching structure (van Glabbeek, 1993) characterizes branching bisimulation.
Related Topics
Physical Sciences and Engineering
Computer Science
Computational Theory and Mathematics
Authors
Thuy Duong Vu,