Publications

Export 8 results:
Author Title Type [ Year(Desc)]
Filters: Author is Pedro Sánchez Terraf  [Clear All Filters]
2009
P. R. D'Argenio, Wolovick, N., Sánchez Terraf, P., and Celayes, P., Nondeterministic Labeled Markov Processes: Bisimulations and Logical Characterization, in QEST 2009, Sixth International Conference on the Quantitative Evaluation of Systems, 2009, pp. 11-20.PDF icon paper-16.pdf (525.46 KB)
P. Sánchez Terraf and Vaggione, D., Varieties with Definable Factor Congruences, Trans. Amer. Math. Soc., vol. 361, pp. 5061–5088, 2009.
2011
P. Sánchez Terraf, Boolean factor Congruences and Property (*), International Journal of Algebra and Computation, vol. 21, pp. 931-950, 2011.
P. Sánchez Terraf, Unprovability of the logical characterization of bisimulation, Information and Computation, vol. 209, pp. 1048-1056, 2011.
2014
C. E. Budde, D'Argenio, P. R., Sánchez Terraf, P., and Wolovick, N., 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, A. Remke and D'Argenio, P. R. Springer Berlin Heidelberg, 2014, pp. 67-86.PDF icon paper-513.pdf (976.31 KB)
Powered by Drupal