Deterministic buffer synchronization of sequential processes

• 1 January 1982
• journal article
• Published by Springer Nature in Acta Informatica
• Vol. 18  (2) , 117-134
• https://doi.org/10.1007/bf00264434

Abstract

Keywords

• BUFFERS
• SEQUENTIAL PROCESSES
• DISCUSS PROOF
• ORGANIZATION PRINCIPLES
• KNOWN ORGANIZATION
• DETERMINISTIC BUFFER
• PROOF RULES
• COMMUNICATE DETERMINISTICALLY
• WIDELY KNOWN