Zobrazeno 1 - 10
of 73
pro vyhledávání: '"Simone Tini"'
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
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 3 (2018)
Gossip protocols have been proposed as a robust and efficient method for disseminating information throughout large-scale networks. In this paper, we propose a compositional analysis technique to study formal probabilistic models of gossip protocols
Externí odkaz:
https://doaj.org/article/07038f58b30c41e39c90beb35fd25fab
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
Publikováno v:
Logical Methods in Computer Science, Vol Volume 12, Issue 4 (2017)
We study which standard operators of probabilistic process calculi allow for compositional reasoning with respect to bisimulation metric semantics. We argue that uniform continuity (generalizing the earlier proposed property of non-expansiveness) cap
Externí odkaz:
https://doaj.org/article/f5d05a114a874bb5b04ae7233b139341
Autor:
Daniel Gebler, Simone Tini
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 160, Iss Proc. EXPRESS/SOS 2014, Pp 63-78 (2014)
Bisimulation metric is a robust behavioural semantics for probabilistic processes. Given any SOS specification of probabilistic processes, we provide a method to compute for each operator of the language its respective metric compositionality propert
Externí odkaz:
https://doaj.org/article/1d1ade1364a941b29ad4b5ebef571e64
Autor:
Daniel Gebler, Simone Tini
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 120, Iss Proc. EXPRESS/SOS 2013, Pp 32-46 (2013)
Probabilistic transition system specifications using the rule format ntmuft-ntmuxt provide structural operational semantics for Segala-type systems and guarantee that probabilistic bisimilarity is a congruence. Probabilistic bisimilarity is for many
Externí odkaz:
https://doaj.org/article/84078e9e61834911a184698c0bc50423
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 40, Iss Proc. MeCBIC 2010, Pp 54-69 (2010)
We propose a variant of the CCS process algebra with new features aiming at allowing multiscale modelling of biological systems. In the usual semantics of process algebras for modelling biological systems actions are instantaneous. When different sca
Externí odkaz:
https://doaj.org/article/d781adcb75ac469e9f1fc9cf3c0d0643
