12453 search results - page 263 / 2491 » Concurrent Data Structures |
205
click to vote
CAI
2007
Springer
16 years 26 days ago
2007
Springer
In this paper, we present an overview of algebraic graph transformation in the double pushout approach. Basic results concerning independence, parallelism, concurrency, embedding, ...
182
click to vote
CIE
2010
Springer
15 years 11 months ago
2010
Springer
We introduce a geometric process algebra based on affine geometry, with the aim of describing the concurrent evolution of geometric structures in 3D space. We prove a relativity th...
165
click to vote
ACSD
2009
IEEE
15 years 10 months ago
2009
IEEE
A number of algorithms are available for computing the simulation relation on Kripke structures and on labelled transition systems representing concurrent systems. Among them, the...
168
Voted
PERCOM
2007
ACM
16 years 6 months ago
2007
ACM
Not only the communication capabilities of 802.11, but also the capability to determine the position of mobile devices make 802.11 highly appealing for many application areas. Typ...
153
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
Abstract. Commutative Replicated Data-Type (CRDT) is a new class of algorithms that ensures scalable consistency of replicated data. It has been successfully applied to collaborati...