A Linguistic Approach to Failure Handling in Distributed Systems

This publication has 6 references indexed in Scilit:

• An overview of the SR language and implementation
  ACM Transactions on Programming Languages and Systems, 1988
• The Design of the Saguaro Distributed Operating System
  IEEE Transactions on Software Engineering, 1987
• Distributed process groups in the V Kernel
  ACM Transactions on Computer Systems, 1985
• A Rigorous Approach to Fault-Tolerant Programming
  IEEE Transactions on Software Engineering, 1985
• Fail-stop processors
  ACM Transactions on Computer Systems, 1983
• Communicating sequential processes
  Communications of the ACM, 1978