Stepwise refinement and concurrency: The finite-state case
From MaRDI portal
Publication:2640349
DOI10.1016/0167-6423(90)90020-EzbMath0719.68041MaRDI QIDQ2640349
Publication date: 1990
Published in: Science of Computer Programming (Search for Journal in Brave)
68Q10: Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.)
68Q60: Specification and verification (program logics, model checking, etc.)