Geodesic

Tome 26 (1992) no. 2

Sommaire

TTL : a formalism to describe local and global properties of distributed systems
p. 115-149
Crossability of cancellative Kleene semigroups
p. 151-161
On a tree collision resolution algorithm in presence of capture
p. 163-197