Context machines as formalism for specification of dynamic systems

MaRDI QIDQ2963869zbMATH OpenFDO

Authors Igor S. Anureev

Publication date 21 February 2017

Full work available at URL http://bulletin.iis.nsk.su/files/article/anureev_2.pdf

zbMATH Keywords

transition systemcontext machineformal operational specification

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• A mechanism for the formal description of dynamic systems
• scientific article; zbMATH DE number 4110066
• scientific article; zbMATH DE number 1262881
• Modeling formalisms for dynamic structure systems
• Dynamical systems with implicit state

Describes a project that uses

Uses Software

• XASM

This page was built for publication: Context machines as formalism for specification of dynamic systems

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