Name
Title | ||
|---|---|---|
Compositional model checking with divergence preserving branching bisimilarity is lively |
Abstract | ||
|---|---|---|
•Divergence-preserving branching Bisim, is a congruence for LTS network composition.•We present a method to safely decompose an LTS network in components.•We discuss parallel composition with alphabet synchronisation.•We prove that alphabet synchronisation is not required for DPBB to be a congruence.•We demonstrate the effectiveness of compositionally constructing state spaces. |
Year | DOI | Venue |
|---|---|---|
2020 | 10.1016/j.scico.2020.102493 | Science of Computer Programming |
Keywords | DocType | Volume |
Divergence-preserving branching bisimilarity,Congruence,Parallel composition,Synchronisation,Compositional model checking | Journal | 196 |
ISSN | Citations | PageRank |
0167-6423 | 0 | 0.34 |
References | Authors | |
0 | 3 | |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Sander de Putter | 1 | 7 | 2.50 |
| Frédéric Lang | 2 | 354 | 17.87 |
| Anton Wijs | 3 | 203 | 22.84 |