Zobrazeno 1 - 10
of 54
pro vyhledávání: '"Causal semantics"'
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
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
Publikováno v:
Communications in Computer and Information Science ISBN: 9783319941349
Evaluation of Novel Approaches to Software Engineering. 12th International Conference, ENASE 2017, Porto, Portugal, April 28–29, 2017, Revised Selected Papers
Evaluation of Novel Approaches to Software Engineering. 12th International Conference, ENASE 2017, Porto, Portugal, April 28–29, 2017, Revised Selected Papers, pp.158-182, 2018, ⟨10.1007/978-3-319-94135-6_8⟩
Evaluation of Novel Approaches to Software Engineering. 12th International Conference, ENASE 2017, Porto, Portugal, April 28–29, 2017, Revised Selected Papers
Evaluation of Novel Approaches to Software Engineering. 12th International Conference, ENASE 2017, Porto, Portugal, April 28–29, 2017, Revised Selected Papers, pp.158-182, 2018, ⟨10.1007/978-3-319-94135-6_8⟩
International audience; UML2.X sequence diagrams (SD) are equipped with high structures: the combined fragments (CF) that permit to model complex behaviours of systems. CF can be nested to allow more sophisticated behaviours, however they complicate
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::95739d95601c71eec9b1fe2b5d6bbde3
https://doi.org/10.1007/978-3-319-94135-6_8
https://doi.org/10.1007/978-3-319-94135-6_8
Publikováno v:
Proceedings of the 13th International Conference on Evaluation of Novel Approaches to Software Engineering
13th International Conference on Evaluation of Novel Approaches to Software Engineering
13th International Conference on Evaluation of Novel Approaches to Software Engineering, Mar 2018, Funchal, Portugal. pp.275-282, ⟨10.5220/0006708102750282⟩
ENASE
13th International Conference on Evaluation of Novel Approaches to Software Engineering
13th International Conference on Evaluation of Novel Approaches to Software Engineering, Mar 2018, Funchal, Portugal. pp.275-282, ⟨10.5220/0006708102750282⟩
ENASE
International audience; UML2.X sequence diagrams (SD) permit the modelling of behaviours of systems. With the combined fragments (CF) that can be nested and aggregated in a single SD more complex behaviours can be created. However the standard interp
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::05c87f7b15042b7576b985bf3374a5f6
https://hal.archives-ouvertes.fr/hal-02090259/document
https://hal.archives-ouvertes.fr/hal-02090259/document
Publikováno v:
EXPRESS/SOS
Express/SOS 2018
Information and Computation
Information and Computation, Elsevier, 2020, 275, pp.104644. ⟨10.1016/j.ic.2020.104644⟩
Information and Computation, 2020, 275, pp.104644. ⟨10.1016/j.ic.2020.104644⟩
Electronic Proceedings in Theoretical Computer Science, Vol 276, Iss Proc. EXPRESS/SOS 2018, Pp 87-103 (2018)
Express/SOS 2018
Information and Computation
Information and Computation, Elsevier, 2020, 275, pp.104644. ⟨10.1016/j.ic.2020.104644⟩
Information and Computation, 2020, 275, pp.104644. ⟨10.1016/j.ic.2020.104644⟩
Electronic Proceedings in Theoretical Computer Science, Vol 276, Iss Proc. EXPRESS/SOS 2018, Pp 87-103 (2018)
This paper presents a study of causality in a reversible, concurrent setting. There exist various notions of causality in pi-calculus, which differ in the treatment of parallel extrusions of the same name. In this paper we present a uniform framework
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::5eb4c81362563a9e3fe30d5502384aca
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:
12th International Conference on Evaluation of Novel Approaches to Software Engineering
12th International Conference on Evaluation of Novel Approaches to Software Engineering, Apr 2017, Porto, France. ⟨10.5220/0006314100470056⟩
ENASE
12th International Conference on Evaluation of Novel Approaches to Software Engineering, Apr 2017, Porto, France. ⟨10.5220/0006314100470056⟩
ENASE
International audience; Combined Fragments (CF) are the new features added to UML2.0 sequence diagrams (SD). They have widely increased its expressiveness power, permitting to model complex behaviours, they can be nested to allow more sophisticated b
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::afbc8276c774fe54af59bbd36cd5af77
https://hal.archives-ouvertes.fr/hal-01686265
https://hal.archives-ouvertes.fr/hal-01686265
Autor:
Ugo Montanari, Roberto Bruni
Publikováno v:
Theoretical Computer Science. 281:131-176
We propose a metatheoretic approach to the definition of operational and abstract concurrent semantics for systems where name handling is a key issue. The main ingredients of our framework are connectors and tile logic. The former allow for the model
Publikováno v:
Multivariate behavioral research. 33(1)
We will respond to our commentators individually, but the order of our responses follows naturally from the issues they bring up. Judea Pearl describes SEM's unfortunate retreat from the clear causal semantics articulated by Sewall Wright (1921) and
Publikováno v:
Theoretical Computer Science
Theoretical Computer Science, Elsevier, 2016, 625, pp.25-84. ⟨10.1016/j.tcs.2016.02.019⟩
Theoretical Computer Science, 2016, 625, pp.25-84. ⟨10.1016/j.tcs.2016.02.019⟩
Theoretical Computer Science, Elsevier, 2016, 625, pp.25-84. ⟨10.1016/j.tcs.2016.02.019⟩
Theoretical Computer Science, 2016, 625, pp.25-84. ⟨10.1016/j.tcs.2016.02.019⟩
International audience; The notion of reversible computation is attracting increasing interest because of its applications in diverse fields, in particular the study of programming abstractions for reliable systems. In this paper, we continue the stu
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::669220321852d29a8761cfe9f653f4b6
https://hal.inria.fr/hal-01303090/file/journal-rhopi.pdf
https://hal.inria.fr/hal-01303090/file/journal-rhopi.pdf