Environmental Bisimulations for Delimited-Control Operators.

Dariusz Biernacki Sergueï Lenglet

Published in: APLAS (2013)

Keyphrases

control system
control structures
control problems
control method
databases
robot control
artificial intelligence
information systems
knowledge base
image processing
multi agent
data structure
computer science
control theory
production processes