Compositional approach to the development of reactive algorithms

DOI10.1007/S10559-013-9552-XMaRDI QIDQ465979zbMATH OpenOpenAlexFDO

Authors A. N. Chebotarev

Publication date 24 October 2014

Published in Cybernetics and Systems Analysis (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s10559-013-9552-x

zbMATH Keywords

language L\(\omega\)-word\(\sigma\)-FSMcompositional specificationdesignation of a statemodule of an algorithmoperation of connecting modules

Mathematics Subject Classification ID

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

Recommendations

• Synthesizing reactive programs
• A logic for the stepwise development of reactive systems
• Compositional programming: theory and practice
• scientific article; zbMATH DE number 4085004
• Reactive concurrent programming revisited
• Verification and synthesis of reactive programs

Cites work

• scientific article; zbMATH DE number 1418451 (Why is no real title available?)
• Improved method of synthesis of an automaton from its specification in the language \(L\)
• Modular refinement of hierarchic reactive machines
• On an approach to functional specification of automata systems. III
• On the class of L\(^*\)-language formulas that specify finite-memory finite-state machines
• Statecharts: a visual formalism for complex systems

Cited in

(6)

• scientific article; zbMATH DE number 88952 (Why is no real title available?)
• Solving inequalities over finite state machines in the reactive systems design
• On transcendental functions arising from integrating differential equations in finite terms
• Design of reactive algorithms by solving equations over automata
• Harmonization of interacting automata
• Generating FSMs from interworkings

This page was built for publication: Compositional approach to the development of reactive algorithms

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