Formal Models of Communicating Systems
From MaRDI portal
Publication:5394322
DOI10.1007/3-540-32923-4zbMath1107.68047OpenAlexW4231022560MaRDI QIDQ5394322
Publication date: 27 October 2006
Full work available at URL: https://doi.org/10.1007/3-540-32923-4
Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Network design and communication in computer systems (68M10) Formal languages and automata (68Q45) Automata and formal grammars in connection with logical questions (03D05) Specification and verification (program logics, model checking, etc.) (68Q60) Cellular automata (computational aspects) (68Q80) Research exposition (monographs, survey articles) pertaining to computer science (68-02) Network protocols (68M12)
Related Items
An improved algorithm for determinization of weighted and fuzzy automata, Unnamed Item, Realizable temporal logics for web service choreography
Uses Software