On the design and specification of message oriented programs

DOI10.1007/BF00977783zbMath0446.68016OpenAlexW2063935650MaRDI QIDQ3891748

Thomas S. E. Maibaum, Paulo Roberto Freire Cunha, Carlos J. P. Lucena

Publication date: 1980

Published in: International Journal of Computer & Information Sciences (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf00977783

zbMATH Keywords

verificationspecificationsoftware designdistributed processingdeadlockmessage oriented programmingcommunications descriptions

Mathematics Subject Classification ID

Data structures (68P05) Theory of operating systems (68N25)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• A comparison of two synchronizing concepts
• On an extension of Dijkstra's semaphore primitives
• Proof of correctness of data representations
• Monitors
• Formal verification of parallel programs
• Communicating sequential processes
• Thoth, a portable real-time operating system
• Concurrent Processes and Their Syntax
• The nucleus of a multiprogramming system
• The Mechanical Evaluation of Expressions

This page was built for publication: On the design and specification of message oriented programs