scientific article

zbMath1374.68304MaRDI QIDQ2963869

I. S. Anureev

Publication date: 21 February 2017

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

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

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: