Contracts for BIP: Hierarchical Interaction Models for Compositional Verification

DOI10.1007/978-3-540-73196-2_1zbMath1215.68028OpenAlexW1496394448MaRDI QIDQ3614835

Sophie Quinton, Susanne Graf

Publication date: 10 March 2009

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-73196-2_1

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Mathematical problems of computer architecture (68M07)

Related Items (4)

Conditions of contracts for separating responsibilities in heterogeneous systems ⋮ From Hierarchical BIP to Petri Calculus ⋮ Deriving Complexity Results for Interaction Systems from 1-Safe Petri Nets ⋮ Everything Is PSPACE-Complete in Interaction Systems

Cites Work

• Unnamed Item
• Models for concurrency: Towards a classification
• Composition for component-based modeling
• Compositional minimisation of finite state systems using interface specifications
• A Theory of Communicating Sequential Processes
• An Approach to Modelling and Verification of Component Based Systems
• Causal semantics for the algebra of connectors

This page was built for publication: Contracts for BIP: Hierarchical Interaction Models for Compositional Verification