Transformational semantics for concurrent programs
From MaRDI portal
Publication:1144920
DOI10.1016/0020-0190(80)90009-5zbMath0444.68017MaRDI QIDQ1144920
Publication date: 1980
Published in: Information Processing Letters (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/0020-0190(80)90009-5
68Q60: Specification and verification (program logics, model checking, etc.)
68Q65: Abstract data types; algebraic specification
68N25: Theory of operating systems