Component-Based Systems / Cambridge University Press / /
Country
India / Denmark / / /
Event
Reorganization / /
Facility
University of Mannheim / INRIA Rhône-Alpes VERIMAG University of Mannheim Montbonnot / /
IndustryTerm
interaction systems / deadlock-free systems / given transition systems / Priority systems / local transition systems / composition operator / cooperative information systems / Software components / deadlock-free interaction systems / transition systems / /
Organization
Cambridge University / INRIA Rhône-Alpes VERIMAG University of Mannheim Montbonnot / University of Mannheim / IEEE Computer Society / /
Person
Robert Allen / Thomas A. Henzinger / Mark R. Tuttle / Susanne Graf / Joseph Sifakis / Nancy A. Lynch / Gregor Gössler / Mila Majster-Cederbaum / Moritz Martens / Klaus Bergner / Nasreddine Aoumeur / Ai / Remi Bastide / Christoph Minnameier / Eric Barboni / de Alfaro / David Garlan / Murali Sitaraman / Gunter Saake / Farhad Arbab / /
Position
component model for architectural programming / formal model for componentware / component-based petri net model for specifying and validating cooperative information systems / scheduler / foundation model for components and their composition / controller / /
An Approach to Modelling and Verification of Component Based Systems G. Gössler(1) , S. Graf(2) , M. Majster-Cederbaum(3) , M. Martens(3) , J. Sifakis[removed])