Zobrazeno 1 - 10
of 36
pro vyhledávání: '"Valentina Castiglioni"'
Publikováno v:
Logical Methods in Computer Science, Vol Volume 19, Issue 3 (2023)
Due to the diffusion of IoT, modern software systems are often thought to control and coordinate smart devices in order to manage assets and resources, and to guarantee efficient behaviours. For this class of systems, which interact extensively with
Externí odkaz:
https://doaj.org/article/9e3d0f7ba31e481bac024a4109c5aaf2
Publikováno v:
Logical Methods in Computer Science, Vol Volume 18, Issue 1 (2022)
This paper studies the existence of finite equational axiomatisations of the interleaving parallel composition operator modulo the behavioural equivalences in van Glabbeek's linear time-branching time spectrum. In the setting of the process algebra B
Externí odkaz:
https://doaj.org/article/75bb540002794f1cb80b3055a1448262
Autor:
Valentina Castiglioni
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 276, Iss Proc. EXPRESS/SOS 2018, Pp 19-36 (2018)
The combination of nondeterminism and probability in concurrent systems lead to the development of several interpretations of process behavior. If we restrict our attention to linear properties only, we can identify three main approaches to trace and
Externí odkaz:
https://doaj.org/article/2e390125ebff45cd969c2be6072ef7a7
Autor:
Valentina Castiglioni, Simone Tini
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 250, Iss Proc. QAPL 2017, Pp 39-74 (2017)
In this paper we continue our research line on logical characterizations of behavioral metrics obtained from the definition of a metric over the set of logical properties of interest. This time we provide a characterization of both strong and weak tr
Externí odkaz:
https://doaj.org/article/8f86ea01b1624f3882e28599f349a7e6
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 227, Iss Proc. QAPL 2016, Pp 44-62 (2016)
Bisimulation metrics provide a robust and accurate approach to study the behavior of nondeterministic probabilistic processes. In this paper, we propose a logical characterization of bisimulation metrics based on a simple probabilistic variant of the
Externí odkaz:
https://doaj.org/article/d21b5dfdea9740a88b354c995859a7c7
Publikováno v:
Logical Methods in Computer Science, Vol Volume 14, Issue 2 (2018)
We propose a method for the decomposition of modal formulae on processes with nondeterminism and probability with respect to Structural Operational Semantics. The purpose is to reduce the satisfaction problem of a formula for a process to verifying w
Externí odkaz:
https://doaj.org/article/43febc491f8048d687d085386f0219d4
Autor:
Stefano Camnasio, Alessia Delli Carri, Angelo Lombardo, Iwona Grad, Caterina Mariotti, Alessia Castucci, Björn Rozell, Pietro Lo Riso, Valentina Castiglioni, Chiara Zuccato, Christelle Rochon, Yasuhiro Takashima, Giuseppe Diaferia, Ida Biunno, Cinzia Gellera, Marisa Jaconi, Austin Smith, Outi Hovatta, Luigi Naldini, Stefano Di Donato, Anis Feki, Elena Cattaneo
Publikováno v:
Neurobiology of Disease, Vol 46, Iss 1, Pp 41-51 (2012)
Neuronal disorders, like Huntington's disease (HD), are difficult to study, due to limited cell accessibility, late onset manifestations, and low availability of material. The establishment of an in vitro model that recapitulates features of the dise
Externí odkaz:
https://doaj.org/article/23c2258d4ef340178a5b5ebcc449756a
Publikováno v:
Neurobiology of Disease, Vol 46, Iss 1, Pp 30-40 (2012)
Huntington's disease (HD) is an autosomal dominant neurodegenerative disorder caused by an excessive expansion of a CAG trinucleotide repeat in the gene encoding the protein huntingtin, resulting in an elongated stretch of glutamines near the N-termi
Externí odkaz:
https://doaj.org/article/db85f8bf6d7140949c66af918902872f
Publikováno v:
ACM Transactions on Computational Logic, 23(4):22, 1-56. Association for Computing Machinery (ACM)
ACM Transactions on Computational Logic, 23(4):22. Association for Computing Machinery, Inc
Aceto, L, Castiglioni, V, Fokkink, W, Ingólfsdóttir, A & Luttik, B 2022, ' Are Two Binary Operators Necessary to Obtain a Finite Axiomatisation of Parallel Composition? ', ACM Transactions on Computational Logic, vol. 23, no. 4, 22, pp. 1-56 . https://doi.org/10.1145/3529535
ACM Transactions on Computational Logic, 23(4):22. Association for Computing Machinery, Inc
Aceto, L, Castiglioni, V, Fokkink, W, Ingólfsdóttir, A & Luttik, B 2022, ' Are Two Binary Operators Necessary to Obtain a Finite Axiomatisation of Parallel Composition? ', ACM Transactions on Computational Logic, vol. 23, no. 4, 22, pp. 1-56 . https://doi.org/10.1145/3529535
Bergstra and Klop have shown that bisimilarity has a finite equational axiomatisation over ACP/CCS extended with the binary left and communication merge operators. Moller proved that auxiliary operators are necessary to obtain a finite axiomatisation
Publikováno v:
Electronic Proceedings in Theoretical Computer Science. 368:1-2