Partial Semigroups and Convolution Algebras

MaRDI QIDQ7361789FDO

Authors Brijesh Dongol, Victor B. F. Gomes, Ian J. Hayes, Georg Struth

Publication date 13 June 2017

Cites work

• A Modal Logic for Chopping Intervals
• A program construction and verification tool for separation logic
• A propositional modal logic of time intervals
• Concurrent Kleene algebra and its foundations
• Convolution algebras: relational convolution, generalised modalities and incidence algebras
• Convolution as a Unifying Concept
• Duration calculus. A formal approach to real-time systems.
• The Logic of Bunched Implications

This page was built for software: Partial Semigroups and Convolution Algebras