On the control of concurrent systems by restrictions of the state behaviour.

Hans-Dieter Burkhard

Published in: Symposium on Computation Theory (1984)

Keyphrases

concurrent systems
transition systems
temporal logic
state space
distributed systems
knowledge base
control system
control method
real time
web services
markov chain
model checking