Reversibility and asymmetric conflict in event structures
type: Item
instance of: scholarly article
title: Reversibility and asymmetric conflict in event structures
zbMATH Open document ID: 1330.68213
author: Iain Phillips
author: Irek Ulidowski
published in: Journal of Logical and Algebraic Methods in Programming
publication date: 2015-11-10T00:00:00Z
Mathematics Subject Classification ID: 68Q85
Mathematics Subject Classification ID: 68Q05
Mathematics Subject Classification ID: 68Q10
zbMATH DE Number: 6506927
zbMATH Keywords: reversible computation
zbMATH Keywords: event structure
zbMATH Keywords: asymmetric conflict
MaRDI profile type: Publication
full work available at URL: j.jlamp.2015.07.004
OpenAlex ID: W2000492932
cites work: Contextual Petri nets, asymmetric event structures, and processes
cites work: A Logic for True Concurrency
cites work: The chemical abstract machine
cites work: Q4733397
cites work: CONCUR 2004 - Concurrency Theory
cites work: CONCUR 2005 – Concurrency Theory
cites work: General reversibility
cites work: Refinement of actions and equivalence notions for concurrent systems
cites work: Configuration structures, event structures and Petri nets
cites work: Concurrent Flexible Reversibility
cites work: Controlling Reversibility in Higher-Order Pi
cites work: Reversing Higher-Order Pi
cites work: Petri nets, event structures and domains. I
cites work: Reversing algebraic process calculi
cites work: A hierarchy of reverse bisimulations on stable configuration structures
cites work: Reversibility and Asymmetric Conflict in Event Structures
cites work: Event Identifier Logic
cites work: A Reversible Process Calculus and the Modelling of the ERK Signalling Pathway
cites work: Modelling of Bonding with Processes and Events
cites work: On the nature of events
cites work: Concurrency and Reversibility
cites work: Q3030239
DOI: 10.1016/J.JLAMP.2015.07.004
description: scientific article; zbMATH DE number 6506927