Bounded analysis and decomposition for behavioural descriptions of components

DOI10.1007/11768869_5MaRDI QIDQ4989484zbMATH OpenOpenAlexFDO

Authors Pascal Poizat, Jean-Claude Royer, Gwen Salaün

Publication date 25 May 2021

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

Full work available at URL https://doi.org/10.1007/11768869_5

Mathematics Subject Classification ID

Distributed systems (68M14) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Synchronous and Bidirectional Component Interfaces
• Behavioural contracts for a sound assembly of components
• scientific article; zbMATH DE number 2080757
• scientific article; zbMATH DE number 2201909
• Distribution of Modal Transition Systems

Cited in

(3)

• Deciding Hopf bifurcations by quantifier elimination in a software-component architecture
• scientific article; zbMATH DE number 5547974 (Why is no real title available?)
• scientific article; zbMATH DE number 1980921 (Why is no real title available?)

This page was built for publication: Bounded analysis and decomposition for behavioural descriptions of components

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4989484)