scientific article; zbMATH DE number 3862445

zbMATH Open0542.68040MaRDI QIDQ3330516FDOQ3330516

Pascal Guitton, André Arnold

Publication date: 1984

Title of this publication is not available (Why is that?)

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 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• A model and temporal proof system for networks of processes 👍 👎

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)