scientific article; zbMATH DE number 3862445

MaRDI QIDQ3330516zbMATH OpenFDO

Authors Pascal Guitton, André Arnold

Publication date 1984

zbMATH Keywords

specificationfinite state machinesautomata networksdescription modelnets of communicating processesthree-phase automata

Mathematics Subject Classification ID

Formal languages and automata (68Q45)

Recommendations

• On Communicating Finite-State Machines
• scientific article; zbMATH DE number 4080927
• scientific article; zbMATH DE number 3892605
• scientific article; zbMATH DE number 2080915
• A model and temporal proof system for networks of processes

Cited in

(1)

• scientific article; zbMATH DE number 4080927 (Why is no real title available?)

This page was built for publication:

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