A hierarchical coordination language for interacting real-time tasks

Arkadeb Ghosal, Alberto L. Sangiovanni-Vincentelli, Christoph M. Kirsch, Thomas A. Henzinger, Daniel T. Iercan. A hierarchical coordination language for interacting real-time tasks. In Sang Lyul Min, Wang Yi, editors, Proceedings of the 6th ACM & IEEE International conference on Embedded software, EMSOFT 2006, October 22-25, 2006, Seoul, Korea. pages 132-141, ACM, 2006. [doi]

Abstract

Abstract is missing.