Compositional specification and verification of distributed systems

Authors :: Jonsson, Bengt
Source :: ACM Transactions on Programming Languages & Systems. March, 1994, Vol. v16 Issue n2, p259, 45 p.
Publication Year :: 1994

Subjects :: Scientific Research
Distributed Systems
System Design
Specifications
Program Verification
Message Switching
Asynchronous
Requirements Analysis
Protocol
Software engineering
Distributed Database
Distributed processing (Computers) -- Research
Software engineering -- Research
Distributed databases -- Research

Tools