Regular sets of infinite message sequence charts
type: Item
instance of: scholarly article
title: Regular sets of infinite message sequence charts
zbMATH Open document ID: 1082.68056
DOI: 10.1016/S0890-5401(03)00123-8
author: Dietrich Kuske
published in: Information and Computation
publication date: 2004-11-23T00:00:00Z
Mathematics Subject Classification ID: 68Q45
Mathematics Subject Classification ID: 03D05
zbMATH DE Number: 2118406
zbMATH Keywords: Message sequence charts
zbMATH Keywords: Distributed automata
zbMATH Keywords: Monadic second-order logic
zbMATH Keywords: Mazurkiewicz traces
MaRDI profile type: Publication
cites work: Q4535063
cites work: An extension of the notions of traces and of asynchronous automata
cites work: Q5525343
cites work: Weak Second‐Order Arithmetic and Finite Automata
cites work: Asynchronous mappings and asynchronous cellular automata
cites work: The monadic second-order logic of graphs, II: Infinite graphs of bounded width
cites work: Monadic second-order definable graph transductions: a survey
cites work: Combinatorics on traces
cites work: Q4714446
cites work: Deterministic asynchronous automata for infinite traces
cites work: Asynchronous cellular automata for pomsets without auto-concurrency
cites work: Asynchronous cellular automata for pomsets
cites work: Q5485973
cites work: Logical definability on infinite traces
cites work: Q4737197
cites work: Q2754187
cites work: Q4536376
cites work: Q4003410
cites work: Q4251923
cites work: Q4736865
cites work: Q4536618
cites work: Application of model theoretic games to discrete linear orders and finite automata
cites work: Q4474224
cites work: Q5641083
cites work: Q2769439
cites work: Q4736868
cites work: Q4536625
cites work: Q4941891
cites work: Q4535059
cites work: Regular languages defined with generalized quantifiers
cites work: An expressively complete linear time temporal logic for Mazurkiewicz traces
cites work: Q4385530
description: scientific article; zbMATH DE number 2118406