1256 search results - page 1 / 252 » A Model of Interaction in Concurrent and Distributed Systems |
ARES
1998
Springer
14 years 3 months ago
1998
Springer
Distributed programming environments commonly restrict programmers to one form of intercomponent interaction. This forces programmers to emulate other interaction styles in terms o...
CONCURRENCY
2002
13 years 11 months ago
2002
CONCUR
2009
Springer
13 years 9 months ago
2009
Springer
Convergence is often the key liveness property for distributed systems that interact with physical processes. Techniques for proving convergence (asymptotic stability) have been ex...
TCS
2008
13 years 11 months ago
2008
We develop a notion of spatial-behavioral typing suitable to discipline concurrent interactions and resource usage in distributed object systems. Our type structure reflects a res...
WSC
2004
14 years 16 days ago
2004
With the properties of autonomy, social ability, reactivity and pro-activeness, agents can be used to represent entities in distributed simulations, where fast and accurate decisi...