Citation
Xiaojun Liu, Edward A. Lee. "COP Semantics of Timed Interactive Actor Networks". Technical report, EECS Department, UC Berkeley, 67, May, 2006.

Abstract
We give a denotational framework for composing interactive components into closed or open systems and show how to adapt classical domain-theoretic approaches to open systems and to timed systems. For timed systems, instead of the usual metric-space-based approaches, we show that existence and uniqueness of behaviors are ensured by continuity with respect to a simply defined prefix order. Existence and uniqueness of behaviors, however, does not imply that a composition of components yields a useful behavior. The unique behavior could be empty or smaller than expected. We define liveness and show that appropriately defined causality conditions ensure liveness and freedom from Zeno conditions. In our formulation, causality does not require a metric and can embrace a wide variety of models of time.

Electronic downloads

• http://www.eecs.berkeley.edu/Pubs/TechRpts/2006/EECS-2006-67.html

• HTML

  Xiaojun Liu, Edward A. Lee. <a
  href="http://chess.eecs.berkeley.edu/pubs/135.html"
  ><i>COP Semantics of Timed Interactive Actor
  Networks</i></a>, Technical report,  EECS
  Department, UC Berkeley, 67, May, 2006.

• Plain text

  Xiaojun Liu, Edward A. Lee. "COP Semantics of Timed
  Interactive Actor Networks". Technical report,  EECS
  Department, UC Berkeley, 67, May, 2006.

• BibTeX

  @techreport{LiuLee06_COPSemanticsOfTimedInteractiveActorNetworks,
      author = {Xiaojun Liu and Edward A. Lee},
      title = {COP Semantics of Timed Interactive Actor Networks},
      institution = {EECS Department, UC Berkeley},
      number = {67},
      month = {May},
      year = {2006},
      abstract = {We give a denotational framework for composing
                interactive components into closed or open systems
                and show how to adapt classical domain-theoretic
                approaches to open systems and to timed systems.
                For timed systems, instead of the usual
                metric-space-based approaches, we show that
                existence and uniqueness of behaviors are ensured
                by continuity with respect to a simply defined
                prefix order. Existence and uniqueness of
                behaviors, however, does not imply that a
                composition of components yields a useful
                behavior. The unique behavior could be empty or
                smaller than expected. We define liveness and show
                that appropriately defined causality conditions
                ensure liveness and freedom from Zeno conditions.
                In our formulation, causality does not require a
                metric and can embrace a wide variety of models of
                time.},
      URL = {http://chess.eecs.berkeley.edu/pubs/135.html}
  }
  

Posted by Mary Stewart on 19 May 2006.
For additional information, see the Publications FAQ or contact webmaster at chess eecs berkeley edu.