Logical Specifications of Infinite Computations.

Wolfgang Thomas Helmut Lescow

Published in: REX School/Symposium (1993)

Keyphrases

high level
logical representation
delay insensitive
formal specification
concurrent systems
artificial intelligence
information systems
decision trees
finite state machines
reactive systems
logical properties
logical reasoning