Algebraic state machines

DOI10.1007/3-540-45499-3_9MaRDI QIDQ2767168zbMATH OpenFDO

Authors Manfred Broy, Martin Wirsing

Publication date 28 January 2002

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-45499-3_9

Mathematics Subject Classification ID

Algebraic theory of languages and automata (68Q70)

Recommendations

• Algebraic state machines: concepts and applications to security
• Algebraic imperative specifications
• scientific article; zbMATH DE number 1951182
• Abstract state machines capture parallel algorithms
• scientific article; zbMATH DE number 743582

Cited in

(11)

• Combining programs and state machines
• Algebraic imperative specifications
• Cubic finite state machine
• Algebraic interpretation of a microprogram finite-state machine with datapath of transitions
• scientific article; zbMATH DE number 4110066 (Why is no real title available?)
• scientific article; zbMATH DE number 177270 (Why is no real title available?)
• scientific article; zbMATH DE number 1951182 (Why is no real title available?)
• scientific article; zbMATH DE number 1534582 (Why is no real title available?)
• A modern mathematical theory of co-operating state machines
• Abstract State Machines with Exact Real Arithmetic
• Algebraic state machines: concepts and applications to security

This page was built for publication: Algebraic state machines

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