Finite state machine based: SDL

MaRDI QIDQ2906935zbMATH OpenFDO

Authors Richard O. Sinnott, Dieter Hogrefe

Publication date 5 September 2012

zbMATH Keywords

distributed communicating systemsOMG traderparallel communicating systems

Mathematics Subject Classification ID

Distributed systems (68M14) Theory of programming languages (68N15) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• scientific article; zbMATH DE number 1543078
• Implementation of a finite state machine with active libraries in C++
• scientific article; zbMATH DE number 3254895
• scientific article; zbMATH DE number 1728522
• Finite state automata in compilers
• scientific article; zbMATH DE number 1543042
• Soft finite state machine
• Synthesis of finite state machines for CPLDs

Cited in

(3)

• scientific article; zbMATH DE number 1728510 (Why is no real title available?)
• scientific article; zbMATH DE number 1951530 (Why is no real title available?)
• scientific article; zbMATH DE number 2043475 (Why is no real title available?)

This page was built for publication: Finite state machine based: SDL

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