Compositional Verification of Asynchronous Concurrent Systems using CADP

Autor: Radu Mateescu, Frédéric Lang, Hubert Garavel

Publikováno v: Acta Informatica
Acta Informatica, Springer Verlag, 2015, 52 (4), pp.56. ⟨10.1007/s00236-015-0226-1⟩
Acta Informatica, 2015, 52 (4), pp.56. ⟨10.1007/s00236-015-0226-1⟩

International audience; During the last decades, concurrency theory successfully developed salient concepts to formally model and soundly reason about distributed and parallel systems. In practice, however, most attempts at analyzing large systems fa

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::87caf61326f9cc77b90b04ff9cd97b24
https://hal.inria.fr/hal-01247507

The Basis Number of the Semi-Composition Product of Some Graphs I

Autor: JARADAT, M. M. M., RAWASHDEH, E. A.

Publikováno v: Volume: 29, Issue: 4 349-364
Turkish Journal of Mathematics

The basis number of a graph G is defined to be the least integer d such that there is a basis \mathcal{B} of the cycle space of G such that each edge of G is contained in at most d members of \mathcal{B}. We investigate the basis number of the semi-c

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=tubitakulakb::4f99314b42805cd75377165edae849d7
https://dergipark.org.tr/tr/pub/tbtkmath/issue/12243/146099

Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.