Two results on process logic

DOI10.1016/0020-0190(79)90022-XzbMath0417.68017OpenAlexW2042136357MaRDI QIDQ755290

David Harel

Publication date: 1979

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

Full work available at URL: https://doi.org/10.1016/0020-0190(79)90022-x

zbMATH Keywords

logics of programsmodel logicprocess logicverification of programs

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Abstract data types; algebraic specification (68Q65) General topics in the theory of software (68N01)

Related Items (2)

Process logic: Expressiveness, decidability, completeness ⋮ Process logic with regular formulas

This page was built for publication: Two results on process logic