Convolution as a Unifying Concept

DOI10.1145/2874773zbMath1367.68210OpenAlexW2281454872MaRDI QIDQ5277916

Ian J. Hayes, Georg Struth, Brijesh Dongol

Publication date: 12 July 2017

Published in: ACM Transactions on Computational Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/2874773

zbMATH Keywords

convolutionformal semanticssemigroupsquantalesconcurrencyformal power seriessystems verificationHoare logicsinterval logicsseparation logics

Mathematics Subject Classification ID

Logic in computer science (03B70) Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Quantales (06F07)

Related Items (6)

Convolution as a Unifying Concept ⋮ Unifying Operational Weak Memory Verification: An Axiomatic Approach ⋮ Convolution and concurrency ⋮ A Program Construction and Verification Tool for Separation Logic ⋮ Catoids and modal convolution algebras ⋮ Effect algebras, Girard quantales and complementation in separation logic

Uses Software

• Isabelle/HOL

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Concurrent Kleene algebra and its foundations
• Handbook of weighted automata
• An algebra of hybrid systems
• The equational theory of pomsets
• Classical relevant logics. I
• Duration calculus. A formal approach to real-time systems.
• Isabelle/HOL. A proof assistant for higher-order logic
• Power structures
• A language of specified programs
• Varieties of complex algebras
• Views
• A Program Construction and Verification Tool for Separation Logic
• On Locality and the Exchange Law for Concurrent Processes
• Kripke models for linear logic
• Quantales and Temporal Logics
• Verifying properties of parallel programs
• Parallel programming: An axiomatic approach
• The Logic of Bunched Implications
• Partition Theorems for Spaces of Variable Words
• BI as an assertion language for mutable data structures
• Convolution as a Unifying Concept
• On closed categories of functors
• Semantics for relevant logics
• [https://portal.mardi4nfdi.de/wiki/Publication:5731810 On the foundations of combinatorial theory I. Theory of M�bius Functions]
• Boolean Algebras with Operators. Part I
• Boolean Algebras with Operators

This page was built for publication: Convolution as a Unifying Concept