Time and logic: A calculus of binary events
From MaRDI portal
Publication:1805011
DOI10.1007/BF02253614zbMath0827.03010MaRDI QIDQ1805011
Publication date: 13 December 1995
Published in: Computing (Search for Journal in Brave)
bitconcurrent systemslivenesssafetycausalitycomputation theoryprocess logicalgebra over binary eventsbent algebrabent logiclogic over time-bound propositionspoint of timespecification of processing systemsthree-valued algebra
Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Modal logic (including the logic of norms) (03B45) Specification and verification (program logics, model checking, etc.) (68Q60) Many-valued logic (03B50)
Related Items (1)
Cites Work
This page was built for publication: Time and logic: A calculus of binary events