Login / Signup

CSP Methods for Identifying Atomic Actions in the Design of Fault Tolerant Concurrent Systems.

Andrew M. TyrrellGeof F. Carpenter
Published in: IEEE Trans. Software Eng. (1995)
Keyphrases
  • fault tolerant
  • fault tolerance
  • distributed systems
  • constraint satisfaction problems
  • concurrent systems
  • building blocks
  • qualitative and quantitative
  • computer vision
  • high level