Aneta Vulgarakis, Jagadish Suryadevara, Jan Carlson, Cristina Cerschi Seceleanu, Paul Pettersson. Formal Semantics of the ProCom Real-Time Component Model. In 35th Euromicro Conference on Software Engineering and Advanced Applications, SEAA 2009, Patras, Greece, August 27-29, 2009, Proceedings. pages 478-485, IEEE Computer Society, 2009. [doi]
Abstract is missing.