RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 26 (1992) no. 2

Sommaire

TTL : a formalism to describe local and global properties of distributed systems

Masini, A. ; Maggiolo-Schettini, A.

p. 115-149

Crossability of cancellative Kleene semigroups

Rupert, C. P.

p. 151-161

On a tree collision resolution algorithm in presence of capture

Schmid, U.

p. 163-197