scientific article
From MaRDI portal
Publication:2963874
zbMath1374.68325MaRDI QIDQ2963874
Publication date: 21 February 2017
Full work available at URL: http://bulletin.iis.nsk.su/files/article/dubtsov.pdf
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Adjoint functors (universal constructions, reflective subcategories, Kan extensions, etc.) (18A40) Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Continuous lattices and posets, applications (06B35) Categories of machines, automata (18B20)
This page was built for publication:
