A Strong Bisimulation for Control Operators by Means of Multiplicative and Exponential Reduction.

Eduardo Bonelli Delia Kesner Andrés Viso

Published in: CoRR (2021)

Keyphrases

control system
control structures
databases
real world
artificial neural networks
vision system
decision diagrams