Logotype Mälardalen University

MRTC publications



ProCom: Formal Semantics

Authors: Jagadish Suryadevara, Aneta Vulgarakis, Jan Carlson, Cristina Seceleanu, Paul Pettersson
Source: MRTC report ISSN 1404-3041 ISRN MDH-MRTC-234/2009-1-SE, Mälardalen Real-Time Research Centre, Mälardalen University
 

Abstract

This technical report presents the formal semantics of the ProCom component model. (The most recent version is available from the Progress IDE (PRIDE) web page http://www.idt.mdh.se/pride/)
 

BibTeX entry

@techreport{Suryadevara_1625:2009,
   author = {Jagadish Suryadevara and Aneta Vulgarakis and Jan Carlson and Cristina Seceleanu and Paul Pettersson},
   title = {ProCom: Formal Semantics},
   month = {March},
   year = {2009},
   institution = {M{\aa}lardalen University},
   number = {ISSN 1404-3041 ISRN MDH-MRTC-234/2009-1-SE},
   type = {{T}echnical {R}eport},
   url = {http://www.mrtc.mdh.se/index.php?choice=publications&id=1625},
}

  • Mälardalen University |
  • Box 883 |
  • 721 23 Västerås/Eskilstuna |
  • 021-101300, 016-153600 |
  • webmaster |
  • Latest update: 2010.02.23