 | 2007 |
|---|
| 16 |       | Ben C. Moszkowski:
Using Temporal Logic to Analyse Temporal Logic: A Hierarchical Approach Based on Intervals.
J. Log. Comput. 17(2): 333-409 (2007) |
| 2005 |
|---|
| 15 |  | Ben C. Moszkowski:
A Hierarchical Analysis of Propositional Temporal Logic based on Intervals.
We Will Show Them! (2) 2005: 371-440 |
| 2004 |
|---|
| 14 | | Ben C. Moszkowski:
A Hierarchical Completeness Proof for Propositional Interval Temporal Logic with Finite Time.
Journal of Applied Non-Classical Logics 14(1-2): 55-104 (2004) |
| 2003 |
|---|
| 13 | | Ben C. Moszkowski:
A Hierarchical Completeness Proof for Propositional Temporal Logic.
Verification: Theory and Practice 2003: 480-523 |
| 2000 |
|---|
| 12 | | Ben C. Moszkowski:
An Automata-Theoretic Completeness Proof for Interval Temporal Logic.
ICALP 2000: 223-234 |
| 11 | | Ben C. Moszkowski:
A Complete Axiomatization of Interval Temporal Logic with Infinite Time.
LICS 2000: 241-252 |
| 1997 |
|---|
| 10 | | Xiaoshan Li,
Antonio Cau,
Ben C. Moszkowski,
Nick Coleman,
Hussein Zedan:
Proving the correctness of the interlock mechanism in processor design.
CHARME 1997: 5-22 |
| 9 | | Ben C. Moszkowski:
Compositional Reasoning Using Interval Temporal Logic and Tempura.
COMPOS 1997: 439-464 |
| 1996 |
|---|
| 8 | | Antonio Cau,
Hussein Zedan,
Nick Coleman,
Ben C. Moszkowski:
Using ITL and Tempura for Large-Scale Specification and Simulation.
PDP 1996: 493-500 |
| 1995 |
|---|
| 7 | | Ben C. Moszkowski:
Compositional reasoning about projected and infinite time.
ICECCS 1995: 238-245 |
| 1994 |
|---|
| 6 | | Ben C. Moszkowski:
Some Very Compositional Temporal Properties.
PROCOMET 1994: 307-326 |
| 1987 |
|---|
| 5 | | Roger Hale,
Ben C. Moszkowski:
Parallel Programming in Temporal Logic.
PARLE (2) 1987: 277-296 |
| 1984 |
|---|
| 4 | | Ben C. Moszkowski:
Executing Temporal Logic Programs.
Seminar on Concurrency 1984: 111-130 |
| 1983 |
|---|
| 3 | | Joseph Y. Halpern,
Zohar Manna,
Ben C. Moszkowski:
A Hardware Semantics Based on Temporal Intervals.
ICALP 1983: 278-291 |
| 2 | | Ben C. Moszkowski,
Zohar Manna:
Reasoning in Interval Temporal Logic.
Logic of Programs 1983: 371-382 |
| 1 | | Ben C. Moszkowski:
A Temporal Analysis of Some Concurrent Systems.
The Analysis of Concurrent Systems 1983: 359-364 |
