Formal Models of Communicating Systems
From MaRDI portal
Automata and formal grammars in connection with logical questions (03D05) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Research exposition (monographs, survey articles) pertaining to computer science (68-02) Network design and communication in computer systems (68M10) Network protocols (68M12) Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60) Cellular automata (computational aspects) (68Q80)
Recommendations
- Formal languages and computation. Models and their applications
- Formal Models, Languages and Applications
- scientific article; zbMATH DE number 702367
- Modal logics for communicating systems
- Fully abstract semantics for higher order communicating systems (extended abstract)
- scientific article; zbMATH DE number 48095
- scientific article; zbMATH DE number 4124977
- A fully abstract denotational semantics for the calculus of higher-order communicating systems
- Communicating finite-state machines, first-order logic, and star-free propositional dynamic logic
- scientific article; zbMATH DE number 1759600
Cited in
(6)- Communicating automata
- The Cayley-graph of the queue monoid: logic and decidability
- Formal Models, Languages and Applications
- An improved algorithm for determinization of weighted and fuzzy automata
- A class of rational trace relations closed under composition
- Realizable temporal logics for web service choreography
This page was built for publication: Formal Models of Communicating Systems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5394322)
