A weakest precondition semantics for communicating processes: Tzilla Elrad and Nissim Francez: T.J. Watson Research Center, Yorktown Heights, (Dec. 1982)

• Book ID: 113272525
• Publisher: Elsevier Science
• Year: 1985
• Tongue: English
• Weight: 143 KB
• Volume: 1
• Category: Article
• ISSN: 0167-9236
• DOI: 10.1016/0167-9236(85)90078-8