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

verification; fixed points; stepwise refinement; concurrency; Hoare logic; strongest postconditions

Mathematics Subject Classification ID

68Q10: Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.)

68Q60: Specification and verification (program logics, model checking, etc.)