A Semiring Approach to Equivalences, Bisimulations and Control.

Roland Glück Bernhard Möller Michel Sintzoff

Published in: RelMiCS (2009)

Keyphrases

relational algebra
control system
decision making
data model
connected components
information systems
image segmentation
data acquisition
process control