Time-awareness and proactivity in models of interactive computation

MaRDI QIDQ2863847zbMATH OpenFDO

Authors Leo Motus, Merik Meriste, Walter Dosch

Publication date 4 December 2013

Full work available at URL http://www.sciencedirect.com/science/article/pii/S157106610505190X?np=y

zbMATH Keywords

feature space for taxonomy of models of interactive computationmany simultaneous metric timesproactive and autonomous computingtime-awarenesstime-sensitive interactions

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• scientific article; zbMATH DE number 2087936
• Modeling time in computing.
• The Unmet Challenge of Timed Systems
• A theory of interactive computation
• Models for reactivity

Cited in

(2)

• The expressive power of urgent, lazy and busy-waiting actions in timed processes Research supported by Murst progetto Saladin: Software Architectures and Languages to Coordinate Distributed Mobile Components.
• scientific article; zbMATH DE number 2087936 (Why is no real title available?)

This page was built for publication: Time-awareness and proactivity in models of interactive computation

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