Search Sciweavers | Sciweavers

28821 search results - page 530 / 5765

» Distributed and parallel systems

149

click to vote

CONCUR
1993
Springer

88views Distributed And Parallel Com...» more CONCUR 1993»

Non Interleaving Process Algebra

15 years 11 months ago

Download alexandria.tue.nl

Jos C. M. Baeten, Jan A. Bergstra

claim paper

Read More »

140

click to vote

CONCUR
1994
Springer

77views Distributed And Parallel Com...» more CONCUR 1994»

The Observational Power of Clocks

15 years 11 months ago

Download mtc.epfl.ch

Rajeev Alur, Costas Courcoubetis, Thomas A. Henzin...

claim paper

Read More »

138

click to vote

CONCUR
1994
Springer

69views Distributed And Parallel Com...» more CONCUR 1994»

On Unifying Assumption-Commitment Style Proof Rules for Concurrency

15 years 11 months ago

Download www.cse.dmu.ac.uk

Qiwen Xu, Antonio Cau, Pierre Collette

claim paper

Read More »

161

click to vote

ICS
1994
Tsinghua U.

112views Distributed And Parallel Com...» more ICS 1994»

Optimal local register allocation for a multiple-issue machine

15 years 11 months ago

Download www.eecs.umich.edu

Waleed Meleis, Edward S. Davidson

claim paper

Read More »

153

click to vote

CONCUR
1992
Springer

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

Bisimulation Equivalence is Decidable for all Context-Free Processes

15 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers