• TUCS Publication Series
• How to Publish in TUCS Series
• Publication Search
• Publication Graph
• Publication Input
• Publication Input Guide
• JuFo Browser

Synchronization Can Improve Reactive Systems Control and Modularity

Cristina Cerschi Seceleanu, Tiberiu Seceleanu, Synchronization Can Improve Reactive Systems Control and Modularity. Journal of Universal Computer Science (JUCS) 10(10), 1429-1468, 2004.

Abstract:

We concentrate on two major aspects of reactive system design: behavior
control and modularity. These are studied from a formal point of view,
within the framework of action systems. The traditional interleaving
paradigm is completed with a barrier synchronization mechanism. This is
achieved by introducing a new parallel composition operator, applicable to
both discrete and hybrid models. While offering improvements with respect
to control and modularity, the approach uses the correctness preserving
mechanisms provided by the underlying reasoning environment.

BibTeX entry:

@ARTICLE{jCeSe04a,
  title = {Synchronization Can Improve Reactive Systems Control and Modularity},
  author = {Cerschi Seceleanu, Cristina and Seceleanu, Tiberiu},
  journal = {Journal of Universal Computer Science (JUCS)},
  volume = {10},
  number = {10},
  pages = {1429-1468},
  year = {2004},
}

Belongs to TUCS Research Unit(s): Software Construction Laboratorium, Communication Systems (ComSys)

Edit publication