Synchronization Can Improve Reactive Systems Control and Modularity

@article{Seceleanu2004SynchronizationCI,
  title={Synchronization Can Improve Reactive Systems Control and Modularity},
  author={C. Seceleanu and Tiberiu Seceleanu},
  journal={J. Univers. Comput. Sci.},
  year={2004},
  volume={10},
  pages={1429-1468}
}
  • C. Seceleanu, Tiberiu Seceleanu
  • Published 2004
  • Computer Science
  • J. Univers. Comput. Sci.
  • 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 traditiona ... 
    7 Citations
    Synchronized architectures for adaptive systems
    • Tiberiu Seceleanu, D. Garlan
    • Computer Science
    • 29th Annual International Computer Software and Applications Conference (COMPSAC'05)
    • 2005
    • 5
    Developing adaptive systems with synchronized architectures
    • 11
    • Highly Influenced
    Modeling Communication with Synchronized Environments
    Communicating with Synchronized Environments
    • Tiberiu Seceleanu, A. Jantsch
    • Computer Science
    • Sixth International Conference on Application of Concurrency to System Design (ACSD'06)
    • 2006
    Transactional graph transformation systems
    • 2

    References

    SHOWING 1-10 OF 41 REFERENCES
    Communicating sequential processes
    • 9,763
    • PDF
    Using a Process Algebra to Control B Operations
    • 96
    Stepwise Refinement of Communicating Systems
    • M. Butler
    • Computer Science
    • Sci. Comput. Program.
    • 1996
    • 75
    From Action Systems to Modular Systems
    • 92
    • PDF
    The universe model: an approach for improving the modularity and reliability of concurrent programs
    • 28
    • PDF
    Refinement of fair action systems
    • 25
    Distributed cooperation with action systems
    • 306
    • Highly Influential
    Trace Refinement of Action Systems
    • 179
    On the Composition of Hybrid Systems
    • 51
    • PDF
    Calculi for Synchrony and Asynchrony
    • R. Milner
    • Mathematics, Computer Science
    • Theor. Comput. Sci.
    • 1983
    • 1,019
    • PDF