Concurrent semantics for fusions: Weak prime domains and connected event structures

Paolo Baldan, Andrea Corradini 0001, Fabio Gadducci. Concurrent semantics for fusions: Weak prime domains and connected event structures. Inf. Comput., 281:104770, 2021. [doi]

Abstract

Abstract is missing.