Binary Multirelations

MaRDI QIDQ43925swMATHFDO

Authors Hitoshi Furusawa, Georg Struth

Publication date 11 June 2015

Official website https://www.isa-afp.org/entries/Multirelations.html

Cites work

• Concurrent dynamic algebra
• Concurrent dynamic logic
• Parallel action: Concurrent dynamic logic with independent modalities
• Taming multirelations

Cited in

(3)

• Algebraic_VCs
• Differential Hoare Logics and Refinement Calculi for Hybrid Systems with Isabelle/HOL
• Taming multirelations

This page was built for software: Binary Multirelations