Relating conflict-free stable transition and event models via redex families
type: Item
instance of: scholarly article
title: Relating conflict-free stable transition and event models via redex families
zbMATH Open document ID: 1016.68052
DOI: 10.1016/S0304-3975(01)00235-3
author: Zurab Khasidashvili
author: John Glauert
published in: Theoretical Computer Science
publication date: 2002-08-13T00:00:00Z
Mathematics Subject Classification ID: 68Q85
zbMATH DE Number: 1780598
zbMATH Keywords: abstract reduction systems
zbMATH Keywords: redex families
zbMATH Keywords: event structures
zbMATH Keywords: distributive domains
MaRDI profile type: Publication
cites work: Q5397484
cites work: Parallel beta reduction is not elementary recursive
cites work: The lambda calculus. Its syntax and semantics. Rev. ed.
cites work: Minimal and Optimal Computations of Recursive Programs
cites work: Q3805920
cites work: Q5284547
cites work: Relating two categorical models of term rewriting
cites work: Stable results and relative normalization
cites work: Relative normalization in Deterministic Residual Structures
cites work: An Abstract form of the church-rosser theorem. I
cites work: Q4297316
cites work: Q5287535
cites work: Discrete Normalization and Standardization in Deterministic Residual Structures
cites work: Q4699303
cites work: An abstract concept of optimal implementation
cites work: Q3918095
cites work: Q4023900
cites work: Q4304752
cites work: Axiomatizing permutation equivalence
cites work: Q3922646
cites work: Q4362960
cites work: Q3992568
cites work: Petri nets, event structures and domains. I
cites work: On relating rewriting systems and graph grammars to event structures
cites work: Concurrent transition systems
cites work: Q4733435
cites work: Q4857386
full work available at URL: s0304-3975(01)00235-3
OpenAlex ID: W2062390531
Recommended article: Q4699303
Recommended article: Transition systems from event structures revisited
Recommended article: From event-oriented models to transition systems
Recommended article: Configuration- and Residual-Based Transition Systems for Event Structures with Asymmetric Conflict
Recommended article: Q3045269
Recommended article: Transition systems, event structures, and unfoldings
Recommended article: Consistent reduction in discrete-event systems
Recommended article: Q5294155
Recommended article: An Event Structure Model for Probabilistic Concurrent Kleene Algebra
Recommended article: Transitively reduced and transitively closed event networks
description: scientific article; zbMATH DE number 1780598