scientific article; zbMATH DE number 2086410

MaRDI QIDQ4736865zbMATH OpenFDO

Authors Dietrich Kuske

Publication date 11 August 2004

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

Mathematics Subject Classification ID

Automata and formal grammars in connection with logical questions (03D05) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Formal languages and automata (68Q45)

Recommendations

• Regular sets of infinite message sequence charts
• A theory of regular MSC languages
• scientific article; zbMATH DE number 2087422
• scientific article; zbMATH DE number 1670862
• scientific article; zbMATH DE number 1759427

Cited in

(9)

• Realizability of high-level message sequence charts: closing the gaps
• Regular sets of infinite message sequence charts
• Message-passing automata are expressively equivalent to EMSO logic
• A theory of regular MSC languages
• scientific article; zbMATH DE number 1670862 (Why is no real title available?)
• scientific article; zbMATH DE number 2087422 (Why is no real title available?)
• It is easy to be wise after the event: communicating finite-state machines capture first-order logic with ``happened before
• Formal Techniques for Networked and Distributed Systems - FORTE 2005
• Muller message-passing automata and logics

This page was built for publication:

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