Interacting Automata for Modelling Distributed Systems

DOI10.1007/3-540-44862-4_92zbMATH Open1147.68598OpenAlexW1825940007MaRDI QIDQ3527862

Irina A. Lomazova

Publication date: 30 September 2008

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/3-540-44862-4_92

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (1)

Modular constructions of distributing automata

This page was built for publication: Interacting Automata for Modelling Distributed Systems

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