Direct semantics of concurrent languages in the SMoLCS approach
From MaRDI portal
Publication:3766819
DOI10.1147/RD.315.0512zbMath0629.68016OpenAlexW2017729396MaRDI QIDQ3766819
Gianna Reggio, Egidio Astesiano
Publication date: 1987
Published in: IBM Journal of Research and Development (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1147/rd.315.0512
Specification and verification (program logics, model checking, etc.) (68Q60) Theory of operating systems (68N25)
Related Items (2)
Compositional refinements in multiple blackboard systems ⋮ VDM semantics of programming languages: Combinators and monads
This page was built for publication: Direct semantics of concurrent languages in the SMoLCS approach
