Operational semantics with semicommutations
type: Item
instance of: scholarly article
title: Operational semantics with semicommutations
author: Hendrik Maarand
author: Tarmo Uustalu
published in: Journal of Logical and Algebraic Methods in Programming
publication date: 2021-08-03T00:00:00Z
Mathematics Subject Classification ID: 68-XX
zbMATH DE Number: 7377679
zbMATH Keywords: operational semantics
zbMATH Keywords: derivatives of regular expressions
zbMATH Keywords: Mazurkiewicz traces
zbMATH Keywords: concurrency
zbMATH Keywords: relaxed memory
MaRDI profile type: Publication
full work available at URL: j.jlamp.2021.100677
OpenAlex ID: W3137608481
cites work: Stateless model checking for TSO and PSO
cites work: Software Verification for Weak Memory via Program Transformation
cites work: Inhomogeneous sorting
cites work: Partial derivatives of regular expressions and finite automaton constructions
cites work: Relaxed memory models
cites work: Q4986257
cites work: ON THE ZAPPA-SZÉP PRODUCT
cites work: Combinatorial problems of commutation and rearrangements
cites work: Semi-commutations
cites work: A wide-spectrum language for verification of programs on weak memory models
cites work: Operational semantics of a weak memory model with channel synchronization
cites work: Dynamic partial-order reduction for model checking software
cites work: The equational theory of pomsets
cites work: Brookes Is Relaxed, Almost!
cites work: On Thin Air Reads Towards an Event Structures Model of Relaxed Memory
cites work: A promising semantics for relaxed-memory concurrency
cites work: Q5376661
cites work: Q4362921
cites work: How to Make a Multiprocessor Computer That Correctly Executes Multiprocess Programs
cites work: Theorem proving in higher order logics. 22nd international conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009. Proceedings
cites work: Modular Relaxed Dependencies in Weak Memory Concurrency
cites work: Computer aided verification. 10th international conference, CAV'98, Vancouver, BC, Canada, June 28 -- July 2, 1998. Proceedings
cites work: A concurrency semantics for relaxed atomics that permits optimisation and avoids thin-air executions
cites work: A structural approach to operational semantics
DOI: 10.1016/J.JLAMP.2021.100677
description: scientific article; zbMATH DE number 7377679