On the design and specification of message oriented programs

DOI10.1007/BF00977783MaRDI QIDQ3891748zbMATH OpenOpenAlexFDO

Authors Paulo Roberto Freire Cunha, Tim Maibaum, 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

communications descriptionsdeadlockdistributed processingmessage oriented programmingsoftware designspecificationverification

Mathematics Subject Classification ID

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

Cites work

• A comparison of two synchronizing concepts
• Communicating sequential processes
• Concurrent Processes and Their Syntax
• Formal verification of parallel programs
• scientific article; zbMATH DE number 3463159 (Why is no real title available?)
• scientific article; zbMATH DE number 3483531 (Why is no real title available?)
• scientific article; zbMATH DE number 3566115 (Why is no real title available?)
• scientific article; zbMATH DE number 3614141 (Why is no real title available?)
• scientific article; zbMATH DE number 3421895 (Why is no real title available?)
• Monitors
• On an extension of Dijkstra's semaphore primitives
• Proof of correctness of data representations
• The Mechanical Evaluation of Expressions
• The nucleus of a multiprogramming system
• Thoth, a portable real-time operating system

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3891748)