The Implementation of Interactive Local State Transition Systems in Clean.

Peter Achten Marinus J. Plasmeijer

Published in: IFL (1999)

Keyphrases

transition systems
model checking
concurrent systems
state space
temporal logic
artificial intelligence
control flow
reactive systems
practical reasoning