×

Sánchez Terraf, Pedro

Compute Distance To:
Author ID: sanchez-terraf.pedro Recent zbMATH articles by "Sánchez Terraf, Pedro"
Published as: Sánchez Terraf, Pedro; Terraf, Pedro Sánchez; Sánchez Terraf, P.
External Links: MGP
Documents Indexed: 15 Publications since 2004
Reviewing Activity: 12 Reviews
Co-Authors: 13 Co-Authors with 9 Joint Publications
196 Co-Co-Authors

Publications by Year

Citations contained in zbMATH Open

8 Publications have been cited 39 times in 28 Documents Cited by Year
Unprovability of the logical characterization of bisimulation. Zbl 1216.68196
Sánchez Terraf, Pedro
10
2011
Varieties with definable factor congruences. Zbl 1223.08001
Sánchez Terraf, Pedro; Vaggione, Diego J.
10
2009
Bisimulations for non-deterministic labelled Markov processes. Zbl 1234.68316
D’Argenio, Pedro R.; Sánchez Terraf, Pedro; Wolovick, Nicolás
9
2012
Existentially definable factor congruences. Zbl 1274.08028
Sánchez Terraf, Pedro
4
2010
Stochastic non-determinism and effectivity functions. Zbl 1407.68333
Doberkat, Ernst-Erich; Sánchez Terraf, Pedro
2
2017
Bisimilarity is not Borel. Zbl 1377.68150
Sánchez Terraf, Pedro
2
2015
Compact factor congruences imply Boolean factor congruences. Zbl 1087.08001
Vaggione, Diego J.; Sánchez Terraf, Pedro
1
2004
A theory for the semantics of stochastic and non-deterministic continuous systems. Zbl 1426.68188
Budde, Carlos E.; D’Argenio, Pedro R.; Sánchez Terraf, Pedro; Wolovick, Nicolás
1
2014
Stochastic non-determinism and effectivity functions. Zbl 1407.68333
Doberkat, Ernst-Erich; Sánchez Terraf, Pedro
2
2017
Bisimilarity is not Borel. Zbl 1377.68150
Sánchez Terraf, Pedro
2
2015
A theory for the semantics of stochastic and non-deterministic continuous systems. Zbl 1426.68188
Budde, Carlos E.; D’Argenio, Pedro R.; Sánchez Terraf, Pedro; Wolovick, Nicolás
1
2014
Bisimulations for non-deterministic labelled Markov processes. Zbl 1234.68316
D’Argenio, Pedro R.; Sánchez Terraf, Pedro; Wolovick, Nicolás
9
2012
Unprovability of the logical characterization of bisimulation. Zbl 1216.68196
Sánchez Terraf, Pedro
10
2011
Existentially definable factor congruences. Zbl 1274.08028
Sánchez Terraf, Pedro
4
2010
Varieties with definable factor congruences. Zbl 1223.08001
Sánchez Terraf, Pedro; Vaggione, Diego J.
10
2009
Compact factor congruences imply Boolean factor congruences. Zbl 1087.08001
Vaggione, Diego J.; Sánchez Terraf, Pedro
1
2004

Citations by Year