Sciweavers

    23557 search results - page 349 / 4712
    » Distributed Computing - Introduction
    Sort
    View
    86
    Voted
    CONCUR
    1992
    Springer
    112views Distributed And Parallel Com...» more  CONCUR 1992»
    Action Transducers and Timed Automata
    15 years 7 months ago
    Action Transducers and Timed Automata
    Download  groups.csail.mit.edu
    Frits W. Vaandrager, Nancy A. Lynch
    claim paper
    Read More »
    101
    Voted
    PARLE
    1993
    134views Distributed And Parallel Com...» more  PARLE 1993»
    From Data Flow Networks to Process Algebras
    15 years 7 months ago
    From Data Flow Networks to Process Algebras
    Download  bonda.cnuce.cnr.it
    Cinzia Bernardeschi, Andrea Bondavalli, Luca Simon...
    claim paper
    Read More »
    103
    Voted
    PODC
    1993
    ACM
    94views Distributed and Parallel Com...» more  PODC 1993»
    On the Space Complexity of Randomized Synchronization
    15 years 7 months ago
    On the Space Complexity of Randomized Synchronization
    Download  www.cs.brown.edu
    Faith Ellen Fich, Maurice Herlihy, Nir Shavit
    claim paper
    Read More »
    163
    Voted
    REX
    1993
    156views Logical Reasoning» more  REX 1993»
    Process Algebra with Backtracking
    15 years 7 months ago
    Process Algebra with Backtracking
    Download  igitur-archive.library.uu.nl
    Jan A. Bergstra, Alban Ponse, Jos van Wamel
    claim paper
    Read More »
    122
    Voted
    REX
    1993
    121views Logical Reasoning» more  REX 1993»
    Verification Tools for Finite-State Concurrent Systems
    15 years 7 months ago
    Verification Tools for Finite-State Concurrent Systems
    Download  www-2.cs.cmu.edu
    Edmund M. Clarke, Orna Grumberg, David E. Long
    claim paper
    Read More »
    Explore & Download
    Proceedings Preprints Top 5 Ranked Papers Publications Books Software Tutorials Presentations Lectures Notes Datasets
    Productivity Tools
    i2PDF i2Img i2Text i2OCR i2Symbol i2Type i2Speak i2Style i2Arabic i2Bopomo Latex Equation Editor
    Sciweavers
    About Community Cookies Privacy Policy Terms of Use

    Copyright © Sciweavers LLC, 2009-2026, USA.