Time-awareness and proactivity in models of interactive computation

zbMATH Open1276.68073MaRDI QIDQ2863847FDOQ2863847

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

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

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)

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.
• Title not available (Why is that?)

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)