Systems of communicating finite-state machines as a distributed alternative to finite-state machines

Formal Limits on Determining Reliabilities of Component-Based Software Systems

ISSRE '00 Proceedings of the 11th International Symposium on Software Reliability Engineering

On the Computational Capacity of Parallel Communicating Finite Automata

DLT '08 Proceedings of the 12th international conference on Developments in Language Theory

Undecidability and hierarchy results for parallel communicating finite automata

DLT'10 Proceedings of the 14th international conference on Developments in language theory

Complexity of multi-head finite automata: Origins and directions

Theoretical Computer Science