A Specification Logic for Reconfigurable Computing.

Published in: PDPTA (2000)

Keyphrases

asynchronous circuits
state machine
logic programming
formal language
general purpose
linear temporal logic
high level
temporal logic
logical framework
knowledge base
case study
modal logic
computational properties
deontic logic
transition systems