Decidability Results for Well-Structured Transition Systems with Auxiliary Storage.

Rohit Chadha Mahesh Viswanathan

Published in: CONCUR (2007)

Keyphrases

transition systems
concurrent systems
model checking
temporal logic
control flow
description logics
practical reasoning
finite state
distributed systems
case study