HOL-CSPM - Architectural operators for HOL-CSP

BenoƮt Ballenghien, Safouan Taha, Burkhart Wolff. HOL-CSPM - Architectural operators for HOL-CSP. Archive of Formal Proofs, 2023, 2023. [doi]

Abstract

Abstract is missing.