Search Sciweavers | Sciweavers

23557 search results - page 349 / 4712

» Distributed Computing - Introduction

124

click to vote

CONCUR
1992
Springer

112views Distributed And Parallel Com...» more CONCUR 1992»

Action Transducers and Timed Automata

15 years 10 months ago

Download groups.csail.mit.edu

Frits W. Vaandrager, Nancy A. Lynch

claim paper

Read More »

141

click to vote

PARLE
1993

134views Distributed And Parallel Com...» more PARLE 1993»

From Data Flow Networks to Process Algebras

15 years 10 months ago

Download bonda.cnuce.cnr.it

Cinzia Bernardeschi, Andrea Bondavalli, Luca Simon...

claim paper

Read More »

139

click to vote

PODC
1993
ACM

94views Distributed and Parallel Com...» more PODC 1993»

On the Space Complexity of Randomized Synchronization

15 years 10 months ago

Download www.cs.brown.edu

Faith Ellen Fich, Maurice Herlihy, Nir Shavit

claim paper

Read More »

209

click to vote

REX
1993

156views Logical Reasoning» more REX 1993»

Process Algebra with Backtracking

15 years 10 months ago

Download igitur-archive.library.uu.nl

Jan A. Bergstra, Alban Ponse, Jos van Wamel

claim paper

Read More »

156

click to vote

REX
1993

121views Logical Reasoning» more REX 1993»

Verification Tools for Finite-State Concurrent Systems

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers