7099 search results - page 5 / 1420 » Context for models of concurrency |
110
click to vote
DAIS
2007
15 years 3 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
14 years 12 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...
70
Voted
CONCURRENCY
2008
15 years 1 months ago
2008
122
Voted
CSL
1992
Springer
15 years 6 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...
117
Voted
CLUSTER
2000
IEEE
15 years 6 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...