2173 search results - page 235 / 435 » An operational semantics for skeletons |
109
Voted
OPODIS
2004
15 years 2 months ago
2004
Abstract. We present a formalism for modeling replication in a distributed system with concurrent users sharing information. It is based on actions, which represent operations requ...
108
click to vote
OSDI
2000
ACM
15 years 2 months ago
2000
ACM
The tradeoffs between consistency, performance, and availability are well understood. Traditionally, however, designers of replicated systems have been forced to choose from eithe...
120
click to vote
USENIX
1994
15 years 2 months ago
1994
Ficus is a flexible replication facility with optimistic concurrency control designed to span a wide range of scales and network environments. Optimistic concurrency control provi...
82
Voted
IANDC
2006
15 years 21 days ago
2006
This paper generalizes existing connections between automata and logic to a coalgestraction level. Let F : Set Set be a standard functor that preserves weak pullbacks. We introdu...
109
click to vote
ENTCS
2000
15 years 15 days ago
2000
The region calculus of Tofte and Talpin is an annotated polymorphically typed lambda calculus which makes memory allocation and deallocation explicit. It is intended as an interme...