Zobrazeno 1 - 10
of 79
pro vyhledávání: '"sequential composition"'
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:
Calè, Luisa
Publikováno v:
Huntington Library Quarterly, 2017 Oct 01. 80(3), 453-479.
Externí odkaz:
https://www.jstor.org/stable/90013271
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.
Publikováno v:
8th Conference on Algebra and Coalgebra in Computer Science, CALCO 2019
The Theory of Sequential Processes includes deadlock, successful termination, action prefixing, alternative and sequential composition. Intermediate acceptance, which is important for the integration of classical automata theory, can be expressed thr
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::c0de487d74659bb484b2b5470dc4d2f0
https://research.tue.nl/nl/publications/434f7bf8-e310-4ad3-8136-6fb9899981be
https://research.tue.nl/nl/publications/434f7bf8-e310-4ad3-8136-6fb9899981be
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.
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.
Publikováno v:
Hess, A V, Mödersheim, S A & Brucker, A D 2018, Stateful Protocol Composition . in J L, J Z & M S (eds), ESORICS 2018: Computer Security . Springer, Lecture Notes in Computer Science, vol. 11098, pp. 427-446, 23rd European Symposium on Research in Computer Security, Barcelona, Spain, 03/09/2018 . https://doi.org/10.1007/978-3-319-99073-6_21
We prove a parallel compositionality result for protocols with a shared mutable state, i.e., stateful protocols. For protocols satisfying certain compositionality conditions our result shows that verifying the component protocols in isolation is suff
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______1202::0629e252bcea54cb0bb58cf8805535d7
https://orbit.dtu.dk/en/publications/9a98dcda-2860-4c52-af33-4bf7bf36c681
https://orbit.dtu.dk/en/publications/9a98dcda-2860-4c52-af33-4bf7bf36c681
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.
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.
Publikováno v:
Fundamental Approaches to Software Engineering ISBN: 9783662544938
FASE
Recercat. Dipósit de la Recerca de Catalunya
instname
O2, repositorio institucional de la UOC
Universitat Oberta de Catalunya (UOC)
FASE
Recercat. Dipósit de la Recerca de Catalunya
instname
O2, repositorio institucional de la UOC
Universitat Oberta de Catalunya (UOC)
Technological importance of traceability mappings for model transformations is well-known, but they have often been considered as an auxiliary element generated during the transformation execution and providing accessory information. This paper argue
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::1c99ee673951084f186fa7cc449bd44e
https://doi.org/10.1007/978-3-662-54494-5_14
https://doi.org/10.1007/978-3-662-54494-5_14