Concurrency without toil: A systematic method for parallel program design
From MaRDI portal
Publication:685624
DOI10.1016/0167-6423(93)90007-CzbMath0781.68055MaRDI QIDQ685624
Publication date: 17 February 1994
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.)
68W15: Distributed algorithms
Related Items
