Split and ST bisimulation semantics
| Author(s) : | Cosimo Laneve Roberto Gorrieri, |
| Publisher : | N/A |
| Publication Date : | 1995 |
| ISSN : | N/A |
| Abstract : | In this paper the notion of action atomicity is relaxed by permitting actions to be observed in the middle of their evolution. Non atomic semantic equivalences, based on the notion of bisimulation, are studied over stable event structures. Splitn bisimulation equivalence (denoted n) considers each event as composed of n phases. ST bisimulation equivalence (denoted, |