Publications
Filters: Author is Pedro Sánchez Terraf [Clear All Filters]
, “A Theory for the Semantics of Stochastic and Non-deterministic Continuous Systems”, in Stochastic Model Checking. Rigorous Dependability Analysis Using Model Checking Techniques for Stochastic Systems, vol. 8453, Springer Berlin Heidelberg, 2014, pp. 67-86.
paper-513.pdf (976.31 KB)
paper-513.pdf (976.31 KB), “Bisimilarity is not Borel”, ArXiv e-prints, 2012.
, “Bisimulations for non-deterministic labelled Markov processes”, Mathematical Structures in Computer Science, vol. 22, no. 1, pp. 43 - 68, 2012. paper-39.pdf (250.46 KB)
paper-39.pdf (250.46 KB), “Boolean factor Congruences and Property (*)”, International Journal of Algebra and Computation, vol. 21, pp. 931-950, 2011.
, “Unprovability of the logical characterization of bisimulation”, Information and Computation, vol. 209, pp. 1048-1056, 2011.
, “Nondeterministic Labeled Markov Processes: Bisimulations and Logical Characterization”, in QEST 2009, Sixth International Conference on the Quantitative Evaluation of Systems, 2009, pp. 11-20. paper-16.pdf (525.46 KB)
paper-16.pdf (525.46 KB), “Varieties with Definable Factor Congruences”, Trans. Amer. Math. Soc., vol. 361, pp. 5061–5088, 2009.
, “Directly Indecomposables in Semidegenerate Varieties of Connected po-Groupoids”, Order, vol. 25, pp. 377-386, 2008.