3 |
Formal Semantics, Compilation and Execution of the GALS Programming Language DSystemJ
|
|
|
|
In: ISSN: 1045-9219 ; IEEE Transactions on Parallel and Distributed Systems ; https://hal.inria.fr/hal-00777730 ; IEEE Transactions on Parallel and Distributed Systems, Institute of Electrical and Electronics Engineers, 2012, 23 (7), pp.1240--1254 (2012)
|
|
BASE
|
|
Show details
|
|
4 |
SystemJ: A GALS Language for System Level Design
|
|
|
|
In: ISSN: 1477-8424 ; Computer Languages, Systems and Structures ; https://hal.inria.fr/hal-00753512 ; Computer Languages, Systems and Structures, Elsevier, 2010, 36 (4), pp.317--344. ⟨10.1016/j.cl.2010.01.001⟩ (2010)
|
|
BASE
|
|
Show details
|
|
5 |
Proceedings of the 13th International Conference on Real-Time Systems (RTS'2005)
|
|
|
|
In: https://hal.inria.fr/inria-00000559 ; Nicolas Navet. BIRP, pp.515, 2005 (2005)
|
|
BASE
|
|
Show details
|
|
6 |
Expressing Quality of Service in Agent Communication
|
|
|
|
In: DTIC (2001)
|
|
BASE
|
|
Show details
|
|
7 |
A Graphical Environment for the Design of Concurrent Real-Time Systems
|
|
|
|
In: http://lsi.ugr.es/~mcapel/docencia/doctorado/seguro/TL_artl/moserRamaKuttyMelliarDillon97.pdf (1997)
|
|
BASE
|
|
Show details
|
|
|
|