Bounded analysis and decomposition for behavioural descriptions of components

DOI10.1007/11768869_5zbMATH Open1461.68037OpenAlexW1574242732MaRDI QIDQ4989484FDOQ4989484

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

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

Mathematics Subject Classification ID

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

Cited In (3)

• Title not available (Why is that?)
• Title not available (Why is that?)
• Deciding Hopf bifurcations by quantifier elimination in a software-component architecture

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)