Two results on process logic

• 1 April 1979
• journal article
• Published by Elsevier in Information Processing Letters
• Vol. 8  (4) , 195-198
• https://doi.org/10.1016/0020-0190(79)90022-x

Abstract

Keywords

• LOGICS OF PROGRAMS
• PROCESS LOGIC
• VERIFICATION OF PROGRAMS