Synthesis of Communicating Finite-State Machines with Guaranteed Progress

DOI10.1109/TCOM.1984.1096134zbMath0555.68035OpenAlexW2140605597MaRDI QIDQ3219124

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

zbMATH Keywords

communication protocolsFIFO channelscommunicating finite-state machines

Mathematics Subject Classification ID

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

Related Items (2)

Submodule construction as equation solving in CCS ⋮ A centralized and a decentralized method to automatically derive choreography-conforming web service systems

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