Generalised regular MSC languages

DOI10.1007/3-540-45931-6_5MaRDI QIDQ4738217zbMATH OpenFDO

Authors Benedikt Bollig, Martin Leucker, Thomas Noll

Publication date 11 August 2004

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2303/23030052.htm

Mathematics Subject Classification ID

Automata and formal grammars in connection with logical questions (03D05) Formal languages and automata (68Q45)

Recommendations

• A theory of regular MSC languages
• A further step towards a theory of regular MSC languages
• scientific article; zbMATH DE number 4076666
• Regular languages defined with generalized quantifiers
• Generalizations of 1-deterministic regular languages
• On message sequence graphs and finitely generated regular MSC languages
• Generalised regular parsers
• Generalized register context-free grammars
• The genus of regular languages
• Regular expressions for Muller context-free languages

Cited in

(7)

• Regular sets of infinite message sequence charts
• A theory of regular MSC languages
• On message sequence graphs and finitely generated regular MSC languages
• On regular message sequence chart languages and relationships to Mazurkiewicz trace theory
• Timed semantics of message sequence charts based on timed automata
• Regular collections of message sequence charts (extended abstract)
• A further step towards a theory of regular MSC languages

This page was built for publication: Generalised regular MSC languages

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4738217)