Predicate transfer and timeout in message passing systems

This publication has 6 references indexed in Scilit:

• A Loosely Coupled Distributed System for Reliably Storing Data
  IEEE Transactions on Software Engineering, 1985
• Using message passing for distributed programming: proof rules and disciplines
  ACM Transactions on Programming Languages and Systems, 1984
• A proof technique for communicating sequential processes
  Acta Informatica, 1981
• Communicating sequential processes
  Communications of the ACM, 1978
• An axiomatic proof technique for parallel programs I
  Acta Informatica, 1976
• A system for interprocess communication in a resource sharing computer network
  Communications of the ACM, 1972