CPO semantics of timed interactive actor networks☆
Under an Elsevier user license
open archive
Keywords
Semantics
CPOs
Posets
Interaction
Actors
Agents
Timed systems
Process networks
Discrete events
Dataflow
Cited by (0)
- ☆
This work was supported in part by the Center for Hybrid and Embedded Software Systems (CHESS) at UC Berkeley, which receives support from the National Science Foundation (NSF awards #0720882 (CSR-EHS: PRET) and #0720841 (CSR-CPS)), the US Army Research Office (ARO #W911NF-07-2-0019), the US Air Force Office of Scientific Research (MURI #FA9550-06-0312), the Air Force Research Lab (AFRL), the State of California Micro Program, and the following companies: Agilent, Bosch, HSBC, Lockheed-Martin, National Instruments, and Toyota.
Copyright © 2008 Elsevier B.V. All rights reserved.