Login / Signup

Environmental Bisimulations for Delimited-Control Operators with Dynamic Prompt Generation.

Andrés AristizábalDariusz BiernackiSergueï LengletPiotr Polesiuk
Published in: Log. Methods Comput. Sci. (2017)
Keyphrases
  • control strategy
  • control method
  • control system
  • real time
  • building blocks
  • real world
  • data mining
  • dynamic environments
  • dynamically changing
  • aggregation operators
  • control theory