Partial specifications and compositional verification

DOI10.1016/0304-3975(91)90071-9zbMath0755.68102OpenAlexW2083821803MaRDI QIDQ1177172

Bent Thomsen, Kim Guldstrand Larsen

Publication date: 26 June 1992

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0304-3975(91)90071-9

zbMATH Keywords

concurrent systemspartial processespartial bisimulation

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Specification and verification (program logics, model checking, etc.) (68Q60)

Cites Work

• Unnamed Item
• Unnamed Item
• Calculi for synchrony and asynchrony
• Higher-level synchronising devices in Meije-SCCS
• A calculus of communicating systems
• A structural approach to operational semantics
• A lattice-theoretical fixpoint theorem and its applications
• A Theory of Communicating Sequential Processes
• Algebraic laws for nondeterminism and concurrency