7 search results - page 2 / 2 » Stabilizers: a modular checkpointing abstraction for concurr... |
PPDP
2009
Springer
14 years 9 days ago
2009
Springer
The construction of reliable concurrent and distributed systems is an extremely difficult endeavour. For complex systems, it requires modular development strategies based on prec...
LICS
1994
IEEE
13 years 10 months ago
1994
IEEE
The theory of cut-free sequent proofs has been used to motivate and justify the design of a number of logic programming languages. Two such languages, Prolog and its linear logic ...