Turing Machines, Transition Systems, and Interaction.

Dina Q. Goldin Scott A. Smolka Peter Wegner

Published in: EXPRESS (2001)

Keyphrases

transition systems
turing machine
model checking
concurrent systems
temporal logic
finite state
practical reasoning
control flow
domain specific