Sciweavers

17082 search results - page 127 / 3417
» Abstractions for Mobile Computation
Sort
View
CMSB
2010
Springer
13 years 4 months ago
A generic abstract machine for stochastic process calculi
Loïc Paulevé, Simon Youssef, Matthew R...
CSUR
2011
13 years 4 months ago
The failure detector abstraction
Felix C. Freiling, Rachid Guerraoui, Petr Kuznetso...
CONCUR
2012
Springer
11 years 11 months ago
A Theory of History Dependent Abstractions for Learning Interface Automata
Fides Aarts, Faranak Heidarian, Frits W. Vaandrage...