An Investigation of Controls for Concurrent Systems by Abstract Control Languages.

Hans-Dieter Burkhard

Published in: MFCS (1984)

Keyphrases

concurrent systems
temporal logic
transition systems
control system
process algebra
language independent
distributed systems
formal specification
expressive power
robotic systems
databases
real time
database
petri net
optimal control
higher level
high level
text summarization
data sets