|
| << vorige | volgende >> |
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
Details van artikel 3 van 7 gevonden artikelen
| Titel: |
Branching Bisimilarity with Explicit Divergence |
| Auteur: |
van Glabbeek, Rob Luttik, Bas Trčka, Nikola |
| Verschenen in: |
Fundamenta informaticae |
| Paginering: | Jaargang 93 (2009) nr. 4 pagina's 371-392 |
| Jaar: |
2009-08-03 |
| Inhoud: |
We consider the relational characterisation of branching bisimilarity with explicit divergence. We prove that it is an equivalence and that it coincides with the original definition of branching bisimilarity with explicit divergence in terms of coloured traces. We also establish a correspondence with several variants of an action-based modal logic with until- and divergence modalities. |
| Uitgever: |
IOS Press |
| Bronbestand: |
Elektronische Wetenschappelijke Tijdschriften |
Details van artikel 3 van 7 gevonden artikelen
| << vorige | volgende >> |
Toegankelijkheidsverklaring