Program specific transition systems

MaRDI QIDQ2979838zbMATH OpenFDO

Authors Igor S. Anureev

Publication date 26 April 2017

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

zbMATH Keywords

transition system

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Knowledge representation (68T30)

Recommendations

• Ontological transition systems structures
• scientific article; zbMATH DE number 515733
• Logic of transition systems
• A language of actions in ontological transition systems
• scientific article; zbMATH DE number 1107491

Cited in

(4)

• Ontological transition systems structures
• A language of actions in ontological transition systems
• scientific article; zbMATH DE number 7449995 (Why is no real title available?)
• Transition systems

Describes a project that uses

Uses Software

• C-Light
• Atoment

This page was built for publication: Program specific transition systems

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