A Domain View of Timed Behaviors
From MaRDI portal
Publication:2934891
DOI10.3233/FI-2014-1067zbMath1302.68200OpenAlexW2098375541MaRDI QIDQ2934891
Elena S. Oshevskaya, R. S. Dubtsov, I. B. Virbitskaite
Publication date: 22 December 2014
Published in: Fundamenta Informaticae (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.3233/fi-2014-1067
Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Continuous lattices and posets, applications (06B35)
This page was built for publication: A Domain View of Timed Behaviors