Two results on process logic

DOI10.1016/0020-0190(79)90022-XzbMATH Open0417.68017OpenAlexW2042136357MaRDI QIDQ755290FDOQ755290

Authors: 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

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

Cited In (2)

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

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

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