BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Spain
1 × Switzerland
1 × USA
Collaborated with:
J.Y.Halpern Z.Manna A.Cau H.Zedan N.Coleman
Talks about:
tempor (3) interv (3) complet (2) logic (2) automata (1) theoret (1) tempura (1) infinit (1) hardwar (1) axiomat (1)

Person: Ben C. Moszkowski

DBLP DBLP: Moszkowski:Ben_C=

Contributed to:

ICALP 20002000
LICS 20002000
PDP 19961996
ICALP 19831983

Wrote 4 papers:

ICALP-2000-Moszkowski #logic #proving
An Automata-Theoretic Completeness Proof for Interval Temporal Logic (BCM), pp. 223–234.
LICS-2000-Moszkowski #axiom #infinity #logic
A Complete Axiomatization of Interval Temporal Logic with Infinite Time (BCM), pp. 241–252.
PDP-1996-CauZCM #scalability #simulation #specification #using
Using ITL and Tempura for Large-Scale Specification and Simulation (AC, HZ, NC, BCM), pp. 493–500.
ICALP-1983-HalpernMM #hardware #semantics
A Hardware Semantics Based on Temporal Intervals (JYH, ZM, BCM), pp. 278–291.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.