Composition for component-based modeling
From MaRDI portal
Publication:1776582
DOI10.1016/j.scico.2004.05.014zbMath1075.68016OpenAlexW2107558091MaRDI QIDQ1776582
Joseph Sifakis, Gregor Gössler
Publication date: 12 May 2005
Published in: Science of Computer Programming (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.scico.2004.05.014
Related Items (21)
Local and global deadlock-detection in component-based systems are NP-hard ⋮ A framework for automated distributed implementation of component-based models ⋮ Modeling for supervisor synthesis -- a lock-bridge combination case study ⋮ Modal event-clock specifications for timed component-based design ⋮ Contract-Based Design for Computation and Verification of a Closed-Loop Hybrid System ⋮ Unnamed Item ⋮ Deadlock-freedom in component systems with architectural constraints ⋮ Probabilistic contracts for component-based design ⋮ Expressiveness of component-based frameworks: a study of the expressiveness of BIP ⋮ MODELING AND ANALYSIS OF REAL-TIME SYSTEMS WITH MUTEX COMPONENTS ⋮ Synthesis from component libraries with costs ⋮ Assembly Theories for Communication-Safe Component Systems ⋮ Feedback in Synchronous Relational Interfaces ⋮ Building distributed controllers for systems with priorities ⋮ Deriving Complexity Results for Interaction Systems from 1-Safe Petri Nets ⋮ Robustness in Interaction Systems ⋮ Contracts for BIP: Hierarchical Interaction Models for Compositional Verification ⋮ Event-based functional decomposition ⋮ Cross-Checking - Enhanced Over-Approximation of the Reachable Global State Space of Component-Based Systems ⋮ Everything Is PSPACE-Complete in Interaction Systems ⋮ Moving from interface theories to assembly theories
This page was built for publication: Composition for component-based modeling