Zobrazeno 1 - 3
of 3
pro vyhledávání: '"Projection interface"'
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⟩
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
https://hal.inria.fr/hal-01247507
Publikováno v:
[Research Report] RR-8708, INRIA Grenoble-Rhône-Alpes. 2015
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 face severe complexity iss
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::4b024fd3f6ee54d36002a13b8635db1a
https://hal.inria.fr/hal-01138749/document
https://hal.inria.fr/hal-01138749/document
Conference
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.