Compositional approach to the development of reactive algorithms

DOI10.1007/s10559-013-9552-xzbMath1371.68177OpenAlexW1985977070MaRDI QIDQ465979

Anatoli 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) Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (2)

Harmonization of interacting automata ⋮ On transcendental functions arising from integrating differential equations in finite terms

Cites Work

• Unnamed Item
• Improved method of synthesis of an automaton from its specification in the language \(L\)
• Statecharts: a visual formalism for complex systems
• On an approach to functional specification of automata systems. III
• On the class of L\(^*\)-language formulas that specify finite-memory finite-state machines
• Modular refinement of hierarchic reactive machines

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