Interacting Automata for Modelling Distributed Systems
From MaRDI portal
Publication:3527862
Recommendations
Cited in
(6)- Autonomous units to model interacting sequential and parallel processes
- Interaction automata and the ia2d interpreter
- scientific article; zbMATH DE number 2104630 (Why is no real title available?)
- Formal Techniques for Networked and Distributed Systems - FORTE 2005
- Modular constructions of distributing automata
- scientific article; zbMATH DE number 1390054 (Why is no real title available?)
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)