A formal system for parallel programs in discrete time and space

DOI10.1016/0020-0190(80)90051-4MaRDI QIDQ1157161zbMATH OpenOpenAlexFDO

Authors Hiroya Kawai

Publication date 1980

Published in Information Processing Letters (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/0020-0190(80)90051-4

zbMATH Keywords

completenesscorrectnessgeometric model of parallel programsinfinitary temporal logic

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Modal logic (including the logic of norms) (03B45) Specification and verification (program logics, model checking, etc.) (68Q60) Abstract data types; algebraic specification (68Q65) Other infinitary logic (03C75)

Cites work

• scientific article; zbMATH DE number 5622639 (Why is no real title available?)
• scientific article; zbMATH DE number 3558938 (Why is no real title available?)
• scientific article; zbMATH DE number 3581596 (Why is no real title available?)
• scientific article; zbMATH DE number 3624762 (Why is no real title available?)
• scientific article; zbMATH DE number 3628347 (Why is no real title available?)
• scientific article; zbMATH DE number 3302923 (Why is no real title available?)
• scientific article; zbMATH DE number 3392414 (Why is no real title available?)
• A completeness proof for an infinitary tense-logic
• An axiomatic basis for computer programming
• First-order dynamic logic
• LAR: A logic of algorithmic reasoning

This page was built for publication: A formal system for parallel programs in discrete time and space

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