Sheaves and Structures of Transition Systems.

Published in: Essays Dedicated to Joseph A. Goguen (2006)

Keyphrases

transition systems
model checking
concurrent systems
temporal logic
control flow
finite state
practical reasoning
multi agent
case study
linear programming
reactive systems