Sciweavers

41650 search results - page 230 / 8330
» Distribution of
Sort
View
PARLE
1993
15 years 10 months ago
From Data Flow Networks to Process Algebras
Cinzia Bernardeschi, Andrea Bondavalli, Luca Simon...
PODC
1993
ACM
15 years 10 months ago
On the Space Complexity of Randomized Synchronization
Faith Ellen Fich, Maurice Herlihy, Nir Shavit
196
Voted
REX
1993
15 years 10 months ago
Process Algebra with Backtracking
Jan A. Bergstra, Alban Ponse, Jos van Wamel
148
Voted
REX
1993
15 years 10 months ago
Verification Tools for Finite-State Concurrent Systems
Edmund M. Clarke, Orna Grumberg, David E. Long