Pedro Sánchez Terraf
Author
Alternate names Pedro Sánchez Terraf, PedroS�nchez Terraf, P Sánchez Terraf
Institution Universidad Nacional de Córdoba
Past institutions Universidad Nacional de Córdoba, Mathematics Research Center, TU Dresden
ORCID: Yes
H-index: 6
I10-index: 4
Works count: 46
Citations count: 144
Bisimulations for non-deterministic labelled Markov processes
2011 · Pedro R. D’Argenio, Pedro Sánchez Terraf, et al. · Mathematical Structures in Computer Science
Nondeterministic Labeled Markov Processes: Bisimulations and Logical Characterization
2009 · Pedro R. D’Argenio, Nicolás Wolovick, et al.
Unprovability of the logical characterization of bisimulation
2011 · Pedro Sánchez Terraf · Information and Computation