Factorization for Component-Interaction Automata

DOI10.1007/978-3-642-27660-6_45zbMath1302.68149OpenAlexW115837156MaRDI QIDQ2891388

Filip Štefaňák, Nikola Beneš, Ivana Černá

Publication date: 15 June 2012

Published in: SOFSEM 2012: Theory and Practice of Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-27660-6_45

Mathematics Subject Classification ID

Formal languages and automata (68Q45)

Cites Work

• A calculus of communicating systems
• Submodule construction as equation solving in CCS
• Synthesis from Component Libraries
• FM 2005: Formal Methods
• Unnamed Item
• Unnamed Item
• Unnamed Item