On Decidability of the Control Reachability Problem in the Asynchronous pi-Calculus.

Roberto M. Amadio Charles Meyssonnier

Published in: Nord. J. Comput. (2002)

Keyphrases

control system
optimal control
control method
real time
data sets
databases
state space
description logics
robotic systems
process control
algebraic structure
high level synthesis