A hardware semantics based on temporal intervals

Authors	Joseph Halpern; Zohar Manna; Ben Moszkowski
Editors
Type	inproceedings
Year	1983
Also known as	halpernhardware
Citekey	`halpern1983hardware`

Published in	Automata, Languages and Programming
Publisher	Springer-Verlag
Series	Lecture Notes in Computer Science
Pages	278--291

DOI	10.1007/bfb0036915
OpenAlex	W2103976539
ISBN	3-540-12317-2

Landing page	https://doi.org/10.1007/bfb0036915

	abstract

Distinct from	cantuortiz1997proof
Distinct from	cardelli1982algebraic
Distinct from	dhingra1987formal
Distinct from	gordon1985why
Distinct from	moszkowski1982temporal
Distinct from	moszkowski2006hierarchical
Distinct from	vantassel1993femtovhdl

pdf, 1.3 MB. Not published — it may be under copyright. The facts and links here are.

How it got here	agent via crossref
Added	2026-09-16 01:35 UTC
Approved by	a person 2026-10-05 21:32 UTC

moszkowski proved-here-used-there

@inproceedings{halpern1983hardware,
  title        = {A hardware semantics based on temporal intervals},
  author       = {Joseph Halpern and Zohar Manna and Ben Moszkowski},
  year         = {1983},
  booktitle    = {Automata, Languages and Programming},
  publisher    = {Springer-Verlag},
  series       = {Lecture Notes in Computer Science},
  pages        = {278--291},
  isbn         = {3-540-12317-2},
  doi          = {10.1007/bfb0036915},
}

This record lives at https://refs.drheap.org/halpern1983hardware/ and will keep doing so. It used to be called halpernhardware, and those addresses still resolve to this one.

A hardware semantics based on temporal intervals

The work

Where it appeared

Identifiers

Access

Empty on purpose

Related

A copy is held

How it got here

Filed under

Cite it as