Composition for component-based modeling-Reference-Cited by-同舟云学术

Composition for component-based modeling

Published:2005-03 Issue:1-3 Volume:55 Page:161-183
ISSN:0167-6423
Container-title:Science of Computer Programming
language:en
Short-container-title:Science of Computer Programming

Author:

Gössler Gregor,Sifakis Joseph

Publisher

Elsevier BV

Subject

Software

Reference25 articles.

1. Scheduler modeling based on the controller synthesis paradigm;Altisen;Control-theoretical Approaches to Real-time Computing, Journal of Real-Time Systems,2002

2. Modeling and Designing Heterogeneous Systems;Balarin,2002

3. Synchronous programming with events and relations: the SIGNAL language and its semantics;Benveniste;Science of Computer Programming,1991

4. Algebra of communicating processes with abstraction;Bergstra;TCS,1985

5. The ESTEREL synchronous programming language: design, semantics, implementation;Berry;Science of Computer Programming,1992

Cited by 117 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Team Automata: Overview and Roadmap;Lecture Notes in Computer Science;2024

2. Integrating Distributed Component-Based Systems Through Deep Reinforcement Learning;Bridging the Gap Between AI and Reality;2023-12-14

3. Supervisory control synthesis for large-scale systems with isomorphisms;Control Engineering Practice;2021-10

4. A Platform-Aware Model-Driven Embedded Software Engineering Process Based on Annotated Analysis Models;IEEE Transactions on Emerging Topics in Computing;2021-01-01

5. Stateful Priorities for Precise Restriction of System Behavior;2020 16th European Dependable Computing Conference (EDCC);2020-09