Skip to Main content Skip to Navigation
Preprints, Working Papers, ...

Monads with merging

Abstract : Monoids are one of the simplest theories in which we can compose elements of a set. Similarly, monads have been used extensively to treat composition of effectful code and its denotational semantics. During the last forty years the theory of monoids has been extended with diverse merge-like operators. In this article, we replicate several of these extensions at the level of monads. Building on a well-known relation between monads and monoids, we introduce monads with additional structure that account for merging. We show how monads with merging generalise and relate to models for well-known algebraic theories for concurrency such as classic process algebras and the more recent concurrent monoids. With these results, we aim to facilitate the generalisation and comparison of different approaches to concurrency.
Document type :
Preprints, Working Papers, ...
Complete list of metadatas

Cited literature [30 references]  Display  Hide  Download

https://hal.inria.fr/hal-02150199
Contributor : Exequiel Rivas Gadda <>
Submitted on : Friday, June 7, 2019 - 9:57:29 AM
Last modification on : Wednesday, August 14, 2019 - 2:50:02 PM

File

main.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-02150199, version 1

Collections

Citation

Exequiel Rivas, Mauro Jaskelioff. Monads with merging. 2019. ⟨hal-02150199⟩

Share

Metrics

Record views

180

Files downloads

868