7 search results - page 2 / 2 » Notions of Bidirectional Computation and Entangled State Mon... |
CONCUR
2001
Springer
13 years 8 months ago
2001
Springer
Abstract. A controller is an environment for a system that achieves a particular control objective by providing inputs to the system without constraining the choices of the system....
ICLP
2010
Springer
13 years 8 months ago
2010
Springer
hex programs were originally introduced as a general framework for extending declarative logic programming, under the stable model semantics, with the possibility of bidirectional...