Realizability of Dynamic MSC Languages

DOI10.1007/978-3-642-13182-0_5MaRDI QIDQ3569730zbMATH OpenOpenAlexFDO

Authors Benedikt Bollig, Loïc Hélouët

Publication date 22 June 2010

Published in Computer Science – Theory and Applications (Search for Journal in Brave)

Full work available at URL https://hal.inria.fr/inria-00589714/file/dynamic.pdf

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42) Formal languages and automata (68Q45)

Recommendations

• Formal Techniques for Networked and Distributed Systems - FORTE 2005
• Realizability Criteria for Compositional MSC
• Realizability models for BLL-like languages
• Real-Time Definable Languages
• FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science
• scientific article; zbMATH DE number 3999261
• A theory of regular MSC languages
• scientific article; zbMATH DE number 1728525

Cited in

(7)

• scientific article; zbMATH DE number 1728525 (Why is no real title available?)
• An automaton over data words that captures EMSO logic
• Modeling actor systems using dynamic I/O automata
• scientific article; zbMATH DE number 1954389 (Why is no real title available?)
• scientific article; zbMATH DE number 2064468 (Why is no real title available?)
• Dynamic communicating automata and branching high-level MSCs
• FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science

This page was built for publication: Realizability of Dynamic MSC Languages

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