Zobrazeno 1 - 10
of 26
pro vyhledávání: '"Trčka, Nikola"'
Publikováno v:
Logical Methods in Computer Science, Volume 5, Issue 4 (December 22, 2009) lmcs:758
We study the equivalence relation on states of labelled transition systems of satisfying the same formulas in Computation Tree Logic without the next state modality (CTL-X). This relation is obtained by De Nicola & Vaandrager by translating labelled
Externí odkaz:
http://arxiv.org/abs/0912.2109
Autor:
Trčka, Nikola
Publikováno v:
EPTCS 13, 2009, pp. 55-65
We first study labeled transition systems with explicit successful termination. We establish the notions of strong, weak, and branching bisimulation in terms of boolean matrix theory, introducing thus a novel and powerful algebraic apparatus. Next we
Externí odkaz:
http://arxiv.org/abs/0912.1902
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 colou
Externí odkaz:
http://arxiv.org/abs/0812.3068
Publikováno v:
In Theoretical Computer Science 2012 413(1):58-72
Publikováno v:
In Information Systems 2011 36(7):1026-1043
Autor:
Basten, Twan, Hendriks, Martijn, Trčka, Nikola, Somers, Lou, Geilen, Marc, Yang, Yang, Igna, Georgeta, de Smet, Sebastian, Voorhoeve, Marc, van der Aalst, Wil, Corporaal, Henk, Vaandrager, Frits
Publikováno v:
Model-Based Design of Adaptive Embedded Systems; 2013, p189-244, 56p
Publikováno v:
Formal Modeling & Analysis of Timed Systems (9783642333644); 2012, p1-6, 6p
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Basten, Twan, van Benthum, Emiel, Geilen, Marc, Hendriks, Martijn, Houben, Fred, Igna, Georgeta, Reckers, Frans, de Smet, Sebastian, Somers, Lou, Teeselink, Egbert, Trčka, Nikola, Vaandrager, Frits, Verriet, Jacques, Voorhoeve, Marc, Yang, Yang
Publikováno v:
Leveraging Applications of Formal Methods, Verification & Validation (9783642165573); 2010, p90-105, 16p
Workflow Soundness Revisited: Checking Correctness in the Presence of Data While Staying Conceptual.
Publikováno v:
Advanced Information Systems Engineering (9783642130939); 2010, p530-544, 15p