Towards a design calculus for CSP

DOI10.1016/0167-6423(95)00024-0zbMath0848.68061OpenAlexW1998958596MaRDI QIDQ1916361

Rudolf Berghammer, Burghard von Karger

Publication date: 11 September 1996

Published in: Science of Computer Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0167-6423(95)00024-0

zbMATH Keywords

reactive systemssequential algebrarelation-algebraic methods

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

This page was built for publication: Towards a design calculus for CSP