Zobrazeno 1 - 10
of 999
pro vyhledávání: '"Causal semantics"'
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.
We consider approaches for causal semantics of Petri nets, explicitly representing dependencies between transition occurrences. For one-safe nets or condition/event-systems, the notion of process as defined by Carl Adam Petri provides a notion of a r
Externí odkaz:
http://arxiv.org/abs/2103.00729
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:
Gorrieri, Roberto1 (AUTHOR) roberto.gorrieri@unibo.it
Publikováno v:
Fundamenta Informaticae. 2021, Vol. 180 Issue 3, p179-249. 71p.
Autor:
Belkhir, Walid
The interleaving semantics is not compatible with both action refinement and durational actions. Since many true concurrency semantics are congruent w.r.t. action refinement, notably the causality and the maximality ones, this has challenged us to st
Externí odkaz:
http://arxiv.org/abs/0907.3226
Autor:
O. V. Kolesnikova
Publikováno v:
Научный диалог, Vol 0, Iss 1, Pp 22-34 (2018)
The article is devoted to description of a number of phraseological units with the causal semantics. Units of the following semantic groups are analyzed: “To Make. To Force,” “To Subdue,” “To Harass. To Exploit.” Causation is understood w
Externí odkaz:
https://doaj.org/article/f90e2b5aea854f93991763e288dda933
Autor:
Juhás, Gabriel1 gabriel.juhas@stuba.sk, Lorenz, Robert2 robert.lorenz@ku-eichstaett.de, Mauser, Sebastian2 sebastian.mauser@ku-eichstaett.de
Publikováno v:
Fundamenta Informaticae. 2008, Vol. 86 Issue 3, p255-298. 44p. 9 Diagrams.
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:
Robert van Rooij, Katrin Schulz
Publikováno v:
Journal of Semantics, 37(2), 269-295. Oxford University Press
The felicity, or acceptability, of IS generics, i.e. generic sentences with indefinite singulars, is considerably more restricted compared to BP generics, generics with bare plurals. The goal of this paper is to account for the limited felicity of IS
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::5be8e507bac74ec64f64d35b56ccea40
https://dare.uva.nl/personal/pure/en/publications/a-causal-semantics-of-is-generics(dead0b95-d774-4f1d-b03e-37372fb55e1e).html
https://dare.uva.nl/personal/pure/en/publications/a-causal-semantics-of-is-generics(dead0b95-d774-4f1d-b03e-37372fb55e1e).html
Autor:
Roberto Gorrieri
BPP nets, a subclass of finite Place/Transition Petri nets, are equipped with some causal behavioral semantics, which are variations of fully-concurrent bisimilarity [3], inspired by weak [28] or branching bisimulation [12] on labeled transition syst
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::1014ef709d73e46ebebbbc774e93bf24
http://hdl.handle.net/11585/831109
http://hdl.handle.net/11585/831109