Pattern matching and membership for hierarchical message sequence charts
type: Item
instance of: scholarly article
title: Pattern matching and membership for hierarchical message sequence charts
zbMATH Open document ID: 1140.68038
author: Blaise Genest
author: Anca Muscholl
published in: Theory of Computing Systems
publication date: 2008-06-06T00:00:00Z
Mathematics Subject Classification ID: 68Q60
Mathematics Subject Classification ID: 68N30
zbMATH DE Number: 5285418
zbMATH Keywords: Hierarchical specifications
zbMATH Keywords: MSC
zbMATH Keywords: Complexity
MaRDI profile type: Publication
full work available at URL: s00224-007-9054-1
OpenAlex ID: W4300790099
cites work: Q4535063
cites work: Uniqueness Theorems for Periodic Functions
cites work: Q3044337
cites work: Foundations of Software Science and Computation Structures
cites work: Q4737197
cites work: Statecharts: a visual formalism for complex systems
cites work: Q4484487
cites work: Efficient solution of some problems in free partially commutative monoids
cites work: Q4535064
cites work: Q4536625
cites work: Q4941891
cites work: Q4496242
cites work: The complexity of satisfiability problems
DOI: 10.1007/S00224-007-9054-1
description: scientific article; zbMATH DE number 5285418