Digitale Bibliotheek
Sluiten Bladeren door artikelen uit een tijdschrift
 
<< 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
 
 
  Branching Bisimilarity with Explicit Divergence
 
 
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 >>
 
 Koninklijke Bibliotheek - Nationale Bibliotheek van Nederland