566 search results - page 10 / 114 » A virtual class calculus |
CC
2001
Springer
14 years 5 days ago
2001
Springer
TOCS
2011
13 years 2 months ago
2011
TROB
2008
13 years 7 months ago
2008
Some recent studies have addressed a class of human
ACS
2005
13 years 7 months ago
2005
There are several kinds of linear typed calculus in the literature, some with their associated notion of categorical model. Our aim in this paper is to systematise the relationshi...
CONCUR
2003
Springer
14 years 26 days ago
2003
Springer
Abstract. We give a process calculus model that formalizes a wellknown algorithm (introduced by Chandra and Toueg) solving consensus in the presence of a particular class of failur...