Sciweavers

2143 search results - page 63 / 429
» corr 2010
Sort
View
CORR
2010
Springer
48views Education» more  CORR 2010»
15 years 2 months ago
A criterion for separating process calculi
Federico Banti, Rosario Pugliese, Francesco Tiezzi
CORR
2010
Springer
54views Education» more  CORR 2010»
15 years 2 months ago
Properties of Exercise Strategies
Alex Gerdes, Bastiaan Heeren, Johan Jeuring
CORR
2010
Springer
45views Education» more  CORR 2010»
15 years 1 months ago
Bisimulation for quantum processes
Yuan Feng, Runyao Duan, Mingsheng Ying
CORR
2010
Springer
86views Education» more  CORR 2010»
15 years 1 months ago
Introduction to Xgrid: Cluster Computing for Everyone
Barbara J. Breen, John F. Lindner