A generalized semantics of PROMELA for abstract model checking María del Mar GallardoPedro MerinoErnesto Pimentel OriginalPaper 20 May 2004 Pages: 166 - 193
A behavioral type system and its application in Ptolemy II Edward A. LeeYuhong Xiong OriginalPaper 11 May 2004 Pages: 210 - 237
An integrated framework for the performance analysis of asynchronous communicating stochastic processes Natalia LópezManuel NúñezFernando Rubio OriginalPaper 10 May 2004 Pages: 238 - 262
Specification and analysis of synchronous reactions Mirabelle Nebut OriginalPaper 23 June 2004 Pages: 263 - 291
Timed CCP compositionally embeds Argos and Lustre Simone Tini OriginalPaper 10 May 2004 Pages: 292 - 312