Realizability of Dynamic MSC Languages
From MaRDI portal
Publication:3569730
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 2064468 (Why is no real title available?)
- FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science
- scientific article; zbMATH DE number 1954389 (Why is no real title available?)
- Dynamic communicating automata and branching high-level MSCs
- scientific article; zbMATH DE number 1728525 (Why is no real title available?)
- Modeling actor systems using dynamic I/O automata
- An automaton over data words that captures EMSO logic
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)