Context machines as formalism for specification of dynamic systems

zbMATH Open1374.68304MaRDI QIDQ2963869FDOQ2963869

Authors: Igor S. Anureev 

Publication date: 21 February 2017

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

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

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)

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)