Sciweavers

2143 search results - page 63 / 429
» corr 2010
Sort
View
39
Voted
CORR
2010
Springer
48views Education» more  CORR 2010»
14 years 10 months ago
A criterion for separating process calculi
Federico Banti, Rosario Pugliese, Francesco Tiezzi
CORR
2010
Springer
54views Education» more  CORR 2010»
14 years 10 months ago
Properties of Exercise Strategies
Alex Gerdes, Bastiaan Heeren, Johan Jeuring
37
Voted
CORR
2010
Springer
45views Education» more  CORR 2010»
14 years 10 months ago
Bisimulation for quantum processes
Yuan Feng, Runyao Duan, Mingsheng Ying
84
Voted
CORR
2010
Springer
86views Education» more  CORR 2010»
14 years 10 months ago
Introduction to Xgrid: Cluster Computing for Everyone
Barbara J. Breen, John F. Lindner
36
Voted
CORR
2010
Springer
94views Education» more  CORR 2010»
14 years 10 months ago
Addressing the Challenge of Distributed Interactive Simulation With Data Distribution Service
Akram Hakiri, Pascal Berthou, Thierry Gayraud