mdh.sePublications
Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
Modular Design of Reactive Systems
Åbo Akademi, TUCS, Finland .ORCID iD: 0000-0003-2870-2680
University of Turku, Finland.ORCID iD: 0000-0003-1996-1234
2004 (English)In: Proceedings - International Computer Software and Applications ConferenceVolume 1, 2004, 2004, p. 265-271Conference paper, Published paper (Refereed)
Abstract [en]

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 new 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.

Place, publisher, year, edition, pages
2004. p. 265-271
National Category
Computer Systems
Identifiers
URN: urn:nbn:se:mdh:diva-9224Scopus ID: 2-s2.0-18744410082OAI: oai:DiVA.org:mdh-9224DiVA, id: diva2:301797
Conference
28th Annual International Computer Software and Applications Conference, COMPSAC 2004; Hong Kong, China; Hong Kong; 28 September 2004 through 30 September 2004
Available from: 2010-03-03 Created: 2010-03-03 Last updated: 2015-09-15Bibliographically approved

Open Access in DiVA

No full text in DiVA

Scopus

Authority records BETA

Seceleanu, CristinaSeceleanu, Tiberiu

Search in DiVA

By author/editor
Seceleanu, CristinaSeceleanu, Tiberiu
Computer Systems

Search outside of DiVA

GoogleGoogle Scholar

urn-nbn

Altmetric score

urn-nbn
Total: 27 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf