Communicating Actor Automata - Modelling Erlang Processes as Communicating Machines.

Dominic Orchard Mihail Munteanu Paulo Torrens

Published in: CoRR (2023)

Keyphrases

communication channels
sharing information
database
case study
information retrieval
software engineering
process model
steady state
finite automata