This description was written by a machine and published without a person checking it. It is what the agent made of this grouping, and not a statement anybody has stood behind.
Ben Moszkowski
A grouping.
Ben Moszkowski: interval temporal logic as a language for hardware, from the 1982-85 multilevel-reasoning papers with Halpern and Manna and the Tempura interpreter (Cambridge TR-71) to a 2006 analysis of propositional ITL.
6 references
A Hierarchical Analysis of Propositional Temporal Logic Based on Intervals
Ben Moszkowski (2006)
Executing temporal logic programs (full version)
Ben Moszkowski (1985) · University of Cambridge Computer Laboratory
A Temporal Logic for Multilevel Reasoning about Hardware
Ben Moszkowski (1985) · Computer · IEEE Computer Society
A hardware semantics based on temporal intervals
Joseph Halpern and others (1983) · Automata, Languages and Programming · Springer-Verlag
Reasoning About Digital Circuits
Ben C. Moszkowski (1983)
A Temporal Logic for Multi-Level Reasoning About Hardware
Ben Moszkowski (1982) · Stanford University, Department of Computer Science