Sciweavers

22 search results - page 1 / 5
» jacm 2008
Sort
View
JACM
2008
50views more  JACM 2008»
15 years 5 months ago
Homomorphism preservation theorems
Benjamin Rossman
100
Voted
JACM
2007
46views more  JACM 2007»
15 years 5 months ago
Characterizing and reasoning about probabilistic and non-probabilistic expectation
Joseph Y. Halpern, Riccardo Pucella
JACM
2007
87views more  JACM 2007»
15 years 5 months ago
A testing scenario for probabilistic processes
Ling Cheung, Mariëlle Stoelinga, Frits W. Vaa...
JACM
2008
43views more  JACM 2008»
15 years 5 months ago
Undecidability of bisimilarity by defender's forcing
Petr Jancar, Jirí Srba