Transition Systems, Event Structures and Unfoldings

Mogens Nielsen Grzegorz Rozenberg P. S. Thiagarajan

Published in: Inf. Comput. (1995)

Keyphrases

transition systems
model checking
concurrent systems
temporal logic
finite state
artificial intelligence
control flow
case study
description language