Elementary Transition Systems and Refinement.

Mogens Nielsen Grzegorz Rozenberg P. S. Thiagarajan

Published in: Acta Informatica (1992)

Keyphrases

transition systems
model checking
concurrent systems
temporal logic
practical reasoning
finite state
control flow
distributed systems
artificial intelligence
learning algorithm
object oriented
reactive systems