scientific article; zbMATH DE number 7327946

MaRDI QIDQ5856417

Ian J. Hayes, Brijesh Dongol, Georg Struth

Publication date: 26 March 2021

Full work available at URL: https://arxiv.org/abs/1702.04603

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

duration calculussubstructural logicsquantaleconvolution algebramodal algebrapartial semigroupinterval logicsrelational convolution, relational semigroup

Mathematics Subject Classification ID

Logic in computer science (03B70) Computer science (68-XX)

Related Items (4)

Convolution and concurrency ⋮ Catoids and modal convolution algebras ⋮ Effect algebras, Girard quantales and complementation in separation logic ⋮ \( \ell r\)-multisemigroups, modal quantales and the origin of locality

This page was built for publication: