A formal system for specification analysis of concurrent programs

DOI10.2977/PRIMS/1195182015zbMath0536.68043OpenAlexW1983802754MaRDI QIDQ792086

Ken Hirose, Makoto Takahashi

Publication date: 1983

Published in: Publications of the Research Institute for Mathematical Sciences, Kyoto University (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2977/prims/1195182015

zbMATH Keywords

two-sorted languageforcing logicspecification of concurrent programs

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Abstract data types; algebraic specification (68Q65)

Cites Work

• Unnamed Item

This page was built for publication: A formal system for specification analysis of concurrent programs