Some generalizations of the calculus of binary events

DOI10.1007/BF02684473MaRDI QIDQ2365381zbMATH OpenFDO

Authors H. von Issendorff

Publication date 20 February 1997

Published in Computing (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/BF02684473

zbMATH Keywords

Boolean algebra over simultaneous binary eventscausal partial ordering of binary eventsdirected metric timenonsimultaneous events

Mathematics Subject Classification ID

Temporal logic (03B44) Many-valued logic (03B50) Logic in computer science (03B70) Partial orders, general (06A06) Structure theory of Boolean algebras (06E05) Partial algebras (08A55) Applications of universal algebra in computer science (08A70) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Time and logic: A calculus of binary events
• scientific article; zbMATH DE number 1975421
• scientific article; zbMATH DE number 2087347
• scientific article; zbMATH DE number 4201699

Cites work

• scientific article; zbMATH DE number 3073037 (Why is no real title available?)
• Time and logic: A calculus of binary events

Cited in

(1)

• Time and logic: A calculus of binary events

This page was built for publication: Some generalizations of the calculus of binary events

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