Sciweavers

22 search results - page 1 / 5
» jacm 2008
Sort
View
JACM
2008
50views more  JACM 2008»
14 years 10 months ago
Homomorphism preservation theorems
Benjamin Rossman
JACM
2007
87views more  JACM 2007»
14 years 10 months ago
A testing scenario for probabilistic processes
Ling Cheung, Mariëlle Stoelinga, Frits W. Vaa...
JACM
2008
43views more  JACM 2008»
14 years 10 months ago
Undecidability of bisimilarity by defender's forcing
Petr Jancar, Jirí Srba