Search Sciweavers | Sciweavers

21007 search results - page 446 / 4202

» Mobile Parallel Computing

152

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 »

142

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 »

141

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 »

164

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 »

156

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