State machines for large scale computer software and systems

DOI10.1145/3633786MaRDI QIDQ7028279zbMATH OpenFDO

Authors Victor Yodaiken

Publication date 12 February 2025

Published in Formal Aspects of Computing (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1145/3633786

zbMATH Keywords

automataconcurrencyrecursionspecification

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Cites work

• Automatic groups and amalgams
• Formal verification of Multi-Paxos for distributed consensus
• scientific article; zbMATH DE number 3982506 (Why is no real title available?)
• scientific article; zbMATH DE number 4009825 (Why is no real title available?)
• scientific article; zbMATH DE number 4028925 (Why is no real title available?)
• scientific article; zbMATH DE number 3664335 (Why is no real title available?)
• scientific article; zbMATH DE number 177270 (Why is no real title available?)
• scientific article; zbMATH DE number 3628347 (Why is no real title available?)
• scientific article; zbMATH DE number 7354705 (Why is no real title available?)
• scientific article; zbMATH DE number 3237733 (Why is no real title available?)
• scientific article; zbMATH DE number 3247155 (Why is no real title available?)
• scientific article; zbMATH DE number 3248552 (Why is no real title available?)
• scientific article; zbMATH DE number 3248792 (Why is no real title available?)
• scientific article; zbMATH DE number 3261198 (Why is no real title available?)
• scientific article; zbMATH DE number 3307591 (Why is no real title available?)
• scientific article; zbMATH DE number 3310090 (Why is no real title available?)
• scientific article; zbMATH DE number 3335016 (Why is no real title available?)
• Modal functions for concise definition of state machines and products
• Modern computer algebra
• On the Krohn-Rhodes cascaded decomposition theorem

This page was built for publication: State machines for large scale computer software and systems

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