Synthesizing different development paradigms: Combining top-down with bottom-up reasoning about distributed systems
From MaRDI portal
Publication:2956676
DOI10.1007/3-540-60692-0_42zbMath1354.68182OpenAlexW1730854003MaRDI QIDQ2956676
Ulrich Hannemann, Job Zwiers, Willem Paul de Roever, Yassine Lakhneche
Publication date: 19 January 2017
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/3-540-60692-0_42
Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Related Items (1)
This page was built for publication: Synthesizing different development paradigms: Combining top-down with bottom-up reasoning about distributed systems