Actors without directors: A Kahnian view of heterogeneous systems

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 5469, Issue , 2009, Pages 46-60

  Caspi, P ^a   Benveniste, A ^b   Lublinerman, R ^c   Tripakis, S ^a  

^a VERIMAG   (France)

^b CAMPUS DE BEAULIEU   (France)

^c PENNSYLVANIA STATE UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPLETE PARTIAL ORDERS; CONNECTING SYSTEM; CONVERSION PROCESS; DECENTRALISED; DIRECT SUM; FORMAL SEMANTICS; FUNCTIONAL THEORY; GENERALISATION; HETEROGENEOUS SYSTEMS; HOMOGENEOUS SYSTEM; KAHN PROCESS NETWORKS; NETWORKS OF PROCESS; PARTIALLY ORDERED SET; PROCESS COMMUNICATION; PTOLEMIES; TAG SYSTEMS;

ELECTRIC GROUNDING; FORMAL METHODS; HYBRID COMPUTERS; HYBRID SYSTEMS; LABELS; SEMANTICS;

SET THEORY;

EID: 67650102586     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-00602-9_4     Document Type: Conference Paper

References (15)

1. Full version of this paper available as technical report TR-2008-6, http://www-verimag.imag.fr/index.php?page=techrep-list
2. Basu, A., Bozga, M., Sifakis, J.: Modeling Heterogeneous Real-time Components in BIP. In: SEFM 2006, pp. 3-12 (2006)
3. Benveniste, A., Berry, G.: The synchronous approach to reactive and real-time systems. IEEE Proceedings 79, 1270-1282 (1991) (Pubitemid 21738065)
4. Benveniste, A., Caillaud, B., Carloni, L.P., Caspi, P., Sangiovanni-Vincentelli, A.L.: Composing heterogeneous reactive systems. ACM Trans. Embedded Comput. Syst. 7(4) (2008)
5. Berry, G., Sentovich, E.: An implementation of constructive synchronous programs in polis. Formal Methods in System Design 17, 135-161 (2000) (Pubitemid 32020712)
6. Bliudze, S., Krob, D.: Towards a functional formalism for modelling complex industrial systems. In: Complex Systems (ECCS 2005), pp. 163-176 (2005)
7. Edwards, S.A., Lee, E.A.: The semantics and execution of a synchronous blockdiagram language. Science of Computer Programming 48(1) (2003)
8. Jacobs, B., Rutten, J.: A tutorial on (co)algebras and (co)induction. Bulletin of EATCS 62, 229-259 (1997)
9. Kahn, G.: The semantics of a simple language for parallel programming. In: IFIP (1974)
10. Lee, E.A., Sangiovanni-Vincentelli, A.: A unified framework for comparing models of computation. IEEE Trans. on Computer Aided Design of Integrated Circuits and Systems 17(12), 1217-1229 (1998) (Pubitemid 128744893)
11. Lee, E.A., Zheng, H.: Leveraging synchronous language principles for heterogeneous modeling and design of embedded systems. In: EMSOFT 2007 (2007)
12. Liu, J., Lee, E.A.: On the causality of mixed-signal and hybrid models. In: Maler, O., Pnueli, A. (eds.) HSCC 2003. LNCS, vol. 2623, pp. 328-342. Springer, Heidelberg (2003)
13. Liu, X., Lee, E.A.: CPO Semantics of Timed Interactive Actor Networks. Theoretical Computer Science 409(1), 110-125 (2008)
14. Maraninchi, F., Bouhadiba, T.: 42: Programmable models of computation for a component-based approach to heterogeneous embedded systems. In: GPCE (2007)
15. Scott, D.: Data types as lattices. SIAM J. on Computing 10(3), 522-587 (1976)