Abstract | ||
---|---|---|
We show that timed branching bisimilarity as defined by Van der Zwaag [17] and Baeten and Middelburg [2] is not an equivalence relation, in case of a dense time domain. We propose an adaptation based on Van der Zwaag's definition, and prove that the resulting timed branching bisimilarity is an equivalence indeed. Furthermore, we prove that in case of a discrete time domain, Van der Zwaag's definition and our adaptation coincide. Finally, we prove that a rooted version of timed branching bisimilarity is a congruence over a basic timed process algebra containing parallelism, successful termination and deadlock. |
Year | Venue | Keywords |
---|---|---|
2008 | Fundam. Inform. | van der zwaag,process algebra,successful termination,discrete time domain,equivalence relation,dense time domain,rooted version,time domain,discrete time |
Field | DocType | Volume |
Time domain,Discrete mathematics,Combinatorics,Equivalence relation,Deadlock,Discrete time domain,Equivalence (measure theory),Congruence (geometry),Process calculus,Mathematics,Branching (version control) | Journal | 87 |
Issue | ISSN | Citations |
3-4 | 0169-2968 | 2 |
PageRank | References | Authors |
0.38 | 8 | 3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Wan Fokkink | 1 | 1089 | 88.64 |
Jun Pang | 2 | 521 | 30.59 |
Anton Wijs | 3 | 203 | 22.84 |