Zobrazeno 1 - 10
of 4 673
pro vyhledávání: '"Fàbregas A"'
Autor:
Wang, R., Souilamas, M., Esfandiar, A., Fabregas, R., Benaglia, S., Nevison-Andrews, H., Yang, Q., Normansell, J., Ares, P., Ferrari, G., Principi, A., Geim, A. K., Fumagalli, L.
Water is essential for almost every aspect of life on our planet and, unsurprisingly, its properties have been studied in great detail. However, disproportionately little remains known about the electrical properties of interfacial and strongly confi
Externí odkaz:
http://arxiv.org/abs/2407.21538
Publikováno v:
J. Log. Algebraic Methods Program. Vol. 92. 2017
We present a unified rule format for structural operational semantics with terms as labels that guarantees that the associated labelled transition system has some bounded-nondeterminism property. The properties we consider include finite branching, i
Externí odkaz:
http://arxiv.org/abs/2402.02847
Autor:
Aceto, Luca, Fábregas, Ignacio, García-Pérez, Álvaro, Ingólfsdóttir, Anna, Ortega-Mallén, Yolanda
The nominal transition systems (NTSs) of Parrow et al. describe the operational semantics of nominal process calculi. We study NTSs in terms of the nominal residual transition systems (NRTSs) that we introduce. We provide rule formats for the specifi
Externí odkaz:
http://arxiv.org/abs/2402.00982
Logical characterisations, rule formats and compositionality for input-output conformance simulation
Input-output conformance simulation (iocos) has been proposed by Gregorio-Rodr\'iguez, Llana and Mart\'inez-Torres as a simulation-based behavioural preorder underlying model-based testing. This relation is inspired by Tretmans' classic ioco relation
Externí odkaz:
http://arxiv.org/abs/2402.00973
Publikováno v:
Theoretical Computer Science vol 777. 2019
In the setting of the modal logic that characterizes modal refinement over modal transition systems, Boudol and Larsen showed that the formulae for which model checking can be reduced to preorder checking, that is, the characteristic formulae, are ex
Externí odkaz:
http://arxiv.org/abs/2402.00970
Autor:
Aceto, Luca, Fábregas, Ignacio, Escrig, David de Frutos, Ingólfsdóttir, Anna, Palomino, Miguel
Publikováno v:
Science of Computer Programming 78. 2013
This paper studies the relationships between three notions of behavioural preorder that have been proposed in the literature: refinement over modal transition systems, and the covariant-contravariant simulation and the partial bisimulation preorders
Externí odkaz:
http://arxiv.org/abs/2402.00966
Publikováno v:
Formal Techniques for Distributed Systems, Joint 12th IFIP WG 6.1 International Conference, FMOODS 2010 and 30th IFIP WG 6.1 International Conference, FORTE 2010. Lecture Notes in Computer Science 6117. Springer
Covariant-contravariant simulation and conformance simulation are two generalizations of the simple notion of simulation which aim at capturing the fact that it is not always the case that "the larger the number of behaviors, the better". Therefore,
Externí odkaz:
http://arxiv.org/abs/2402.00964
Publikováno v:
Algebra and Coalgebra in Computer Science (CALCO) 2009. Lecture Notes in Computer Science, 5728. Springer
We present a study of the notion of coalgebraic simulation introduced by Hughes and Jacobs. Although in their original paper they allow any functorial order in their definition of coalgebraic simulation, for the simulation relations to have good prop
Externí odkaz:
http://arxiv.org/abs/2402.00963
Publikováno v:
Formal Techniques for Networked and Distributed Systems (FORTE) 2008. Lecture Notes in Computer Science 5048. Springer
Our concrete objective is to present both ordinary bisimulations and probabilistic bisimulations in a common coalgebraic framework based on multiset bisimulations. For that we show how to relate the underlying powerset and probabilistic distributions
Externí odkaz:
http://arxiv.org/abs/2402.00962
Publikováno v:
Theoretical Aspects of Computing (ICTAC) 2007. Lecture Notes in Computer Science volume 4711
Our objective is to extend the standard results of preservation and reflection of properties by bisimulations to the coalgebraic setting, as well as to study under what conditions these results hold for simulations. The notion of bisimulation is the
Externí odkaz:
http://arxiv.org/abs/2402.00958