Synthesis of Communicating Finite-State Machines with Guaranteed Progress

DOI10.1109/TCOM.1984.1096134zbMATH Open0555.68035OpenAlexW2140605597MaRDI QIDQ3219124FDOQ3219124

Authors: Yao-Tin Yu, Mohamed G. Gouda 

Publication date: 1984

Published in: IEEE Transactions on Communications (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1109/tcom.1984.1096134

Recommendations

• On the progress of communication between two finite state machines
• Closed Covers: To Verify Progress for Communicating Finite State Machines
• scientific article; zbMATH DE number 3881887
• Synthesis of Safe Message-Passing Systems
• On Communicating Finite-State Machines

zbMATH Keywords

communication protocolsFIFO channelscommunicating finite-state machines

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Communication, information (94A99)

Cited In (9)

• Channel synthesis revisited
• Connecting open systems of communicating finite state machines
• Channel synthesis for finite transducers
• Submodule construction as equation solving in CCS
• A centralized and a decentralized method to automatically derive choreography-conforming web service systems
• Closed Covers: To Verify Progress for Communicating Finite State Machines
• On the progress of communication between two finite state machines
• Channel synthesis for finite transducers
• Synthesis of Safe Message-Passing Systems

This page was built for publication: Synthesis of Communicating Finite-State Machines with Guaranteed Progress

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