Partial algebras, Logic in computer science, Specification and verification (program logics, model checking, etc.), Applications of universal algebra in computer science, Temporal logic, Boolean algebra over simultaneous binary events, directed metric time, Partial orders, general, causal partial ordering of binary events, Many-valued logic, Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.), Structure theory of Boolean algebras, nonsimultaneous events