Journals
Seminars
Conferences
Books
Lecture notes
Theses
Authors
OFF
Journals
Seminars
Conferences
Books
Lecture notes
Theses
Authors
Browse issues
All
All
Author
Title
References
Full text
Search
NOT
Between
and
Author
All
Author
Title
Date
References
Keywords
Full text
RAIRO. Theoretical Informatics and Applications
Volume 26 (1992)
no. 2
Volume 26 (1992) no. 2
Table of contents
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