Conflict vs causality in event structures
type: Item
instance of: scholarly article
title: Conflict vs causality in event structures
author: Daniele Gorla
author: Ivano Salvo
published in: Journal of Logical and Algebraic Methods in Programming
publication date: 2021-02-26T00:00:00Z
full work available at URL: https://arxiv.org/abs/1908.08636
Mathematics Subject Classification ID: 68Q85
Mathematics Subject Classification ID: 68Q55
zbMATH DE Number: 7316064
zbMATH Keywords: event structures
zbMATH Keywords: behavioral equivalences
zbMATH Keywords: semantics of true concurrency
describes a project that uses: Traces
describes a project that uses: nauty
MaRDI profile type: Publication
OpenAlex ID: W3109900459
cites work: A Logic for True Concurrency
cites work: Process algebra for synchronous communication
cites work: Q4721639
cites work: Q4733397
cites work: Q4036551
cites work: Q4733427
cites work: A completed hierarchy of true concurrent equivalences
cites work: Linear logic
cites work: Q3385652
cites work: Communicating sequential processes
cites work: Practical graph isomorphism. II.
cites work: Q3992568
cites work: Petri nets, event structures and domains. I
cites work: Q3045269
cites work: Q4133144
cites work: Q3911403
cites work: Q3751025
cites work: Q3718143
cites work: Modeling concurrency with partial orders
cites work: Q3805922
cites work: Refinement of actions and equivalence notions for concurrent systems
cites work: On characterising distributability
cites work: Q4857386
DOI: 10.1016/J.JLAMP.2020.100631
description: scientific article; zbMATH DE number 7316064