Convolution algebras: Relational convolution, generalised modalities and incidence algebras (2021)

First Author: Dongol B.

Attributed to: Verifiably correct concurrency abstractions funded by EPSRC

Abstract

No abstract provided

Bibliographic Information

Digital Object Identifier: http://dx.doi.org/10.23638/lmcs-17(1:13)2021

Publication URI: https://lmcs.episciences.org/7164

Type: Journal Article/Review

Volume: 17

Parent Publication: Logical Methods in Computer Science

Issue: 1

ISSN: 18605974