Stepwise refinement and concurrency: The finite-state case

DOI10.1016/0167-6423(90)90020-EzbMath0719.68041MaRDI QIDQ2640349

E. Pascal Gribomont

Publication date: 1990

Published in: Science of Computer Programming (Search for Journal in Brave)

zbMATH Keywords

verificationfixed pointsstepwise refinementconcurrencyHoare logicstrongest postconditions

Mathematics Subject Classification ID

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

This page was built for publication: Stepwise refinement and concurrency: The finite-state case