Specification and verification of concurrent, distributed processes

• Authors:

• Joylyn N. Reed;Raymond T. Yeh;Bo-Shoe Chen

• Affiliations:

• -;-;-

• Venue:
• Concurrency control and reliability in distributed systems
• Year:
• 1987