740 search results - page 15 / 148 » A Spatial Logic for Concurrency |
ESOP
2008
Springer
13 years 9 months ago
2008
Springer
ENTCS
2007
13 years 7 months ago
2007
ZUM
2000
Springer
13 years 11 months ago
2000
Springer
We present a computation model for Z, which is based on a reduction to a small calculus, called Z, and on concurrent constraint resolution techniques applied for computing in thi...
CSL
1992
Springer
13 years 11 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...
MOBICOM
2009
ACM
14 years 2 months ago
2009
ACM
Spatial multiple access holds the promise to boost the capacity of wireless networks when an access point has multiple antennas. Due to the asynchronous and uncontrolled nature of...