7099 search results - page 5 / 1420 » Context for models of concurrency |
DAIS
2007
13 years 11 months ago
2007
Implementing context-dependent behaviour of pervasive computing applications puts a great burden on programmers: Devices need to continuously adapt not only to their own context, b...
FSTTCS
2010
Springer
13 years 7 months ago
2010
Springer
We study the alternating-time temporal logics ATL and ATL extended with strategy contexts: these make agents commit to their strategies during the evaluation of formulas, contrary...
CONCURRENCY
2008
13 years 10 months ago
2008
CSL
1992
Springer
14 years 1 months ago
1992
Springer
We develop the rst steps of a theory of concurrency within the framework of evolving algebras of Gurevich, with the aim of investigating its suitability for the role of a general f...
CLUSTER
2000
IEEE
14 years 2 months ago
2000
IEEE
We propose a programming model for distributed concurrent systems with mobile objects in the context of a process calculus. Code mobility is induced by lexical scoping on names. O...