Publications

Export 3 results:
Sort by: Author Title Type [ Year (Asc)]
Filters: Author is Pedro Sánchez Terraf  [Clear All Filters]
2012
P. R. D'Argenio, P. Sánchez Terraf, and N. Wolovick, “Bisimulations for non-deterministic labelled Markov processes”, Mathematical Structures in Computer Science, vol. 22, no. 1, p. 43-68, 2012.
2014
C. E. Budde, P. R. D'Argenio, P. Sánchez Terraf, and N. Wolovick, “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 - International Autumn School, {ROCKS} 2012, Vahrn, Italy, October 22-26, 2012, Advanced Lectures, vol. 8453, A. Remke and M. Stoelinga, Eds. 2014, p. 67–86.
In Press
P. Sánchez Terraf, “Bisimilarity is not Borel”, Mathematical Structures in Computer Science, In Press.