scientific article
From MaRDI portal
Publication:2863847
zbMath1276.68073MaRDI QIDQ2863847
Walter Dosch, Leo Mǒtus, Merik Meriste
Publication date: 4 December 2013
Full work available at URL: http://www.sciencedirect.com/science/article/pii/S157106610505190X?np=y
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
feature space for taxonomy of models of interactive computationmany simultaneous metric timesproactive and autonomous computingtime-awarenesstime-sensitive interactions
Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Specification and verification (program logics, model checking, etc.) (68Q60)
This page was built for publication:
