Synchronization expressions with extended join operation
type: Item
instance of: scholarly article
title: Synchronization expressions with extended join operation
zbMATH Open document ID: 0912.68108
DOI: 10.1016/S0304-3975(98)00056-5
author: Kai Salomaa
author: Sheng Yu
published in: Theoretical Computer Science
publication date: 1999-01-12T00:00:00Z
Mathematics Subject Classification ID: 68Q45
Mathematics Subject Classification ID: 68Q55
zbMATH DE Number: 1238731
zbMATH Keywords: synchronization languages
zbMATH Keywords: rewriting systems
zbMATH Keywords: regular expressions
zbMATH Keywords: semi-commutation
MaRDI profile type: Publication
cites work: Theory of traces
cites work: Thue systems as rewriting systems
cites work: Q4846257
cites work: Representation of computations in concurrent automata by dependence orders
cites work: Semi-commutations
cites work: Synchronization languages and rewriting systems
cites work: A process algebraic view of input/output automata
cites work: Rational and recognizable complex trace languages
cites work: Q4714446
cites work: Recognizable languages in concurrency monoids
cites work: Q4874663
cites work: Q4733391
cites work: Q5592246
cites work: Q4385545
cites work: Petri nets and bisimulation
cites work: Models for concurrency: Towards a classification
cites work: On confluence of one-rule trace-rewriting systems
full work available at URL: s0304-3975(98)00056-5
OpenAlex ID: W2030769844
description: scientific article; zbMATH DE number 1238731