Bounded Analysis and Decomposition for Behavioural Descriptions of Components
From MaRDI portal
Publication:4989484
DOI10.1007/11768869_5zbMath1461.68037OpenAlexW1574242732MaRDI QIDQ4989484
Gwen Salaün, J.-C. Royer, Pascal Poizat
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
Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Distributed systems (68M14)
This page was built for publication: Bounded Analysis and Decomposition for Behavioural Descriptions of Components
