Sciweavers

Top Ranked Papers of 1994 on Distributed And Parallel Computing | CONCUR

All ConferencesPODCSPAAICDCSCONCURHPDCICSPPSNICPPICPADS ... Explore CONCUR 1994 »

click to vote

CONCUR
1994
Springer

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

Composition and Behaviors of Probabilistic I/O Automata

13 years 10 months ago

Download www.cs.sunysb.edu

We augment the I/O automaton model of Lynch and Tuttle with probability, as a step toward the ultimate goal of obtaining a useful tool for specifying and reasoning about asynchron...

Sue-Hwey Wu, Scott A. Smolka, Eugene W. Stark

claim paper

Read More »

click to vote

CONCUR
1994
Springer

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

The Observational Power of Clocks

13 years 10 months ago

Download mtc.epfl.ch

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

claim paper

Read More »

click to vote

CONCUR
1994
Springer

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

On Unifying Assumption-Commitment Style Proof Rules for Concurrency

13 years 10 months ago

Download www.cse.dmu.ac.uk

Qiwen Xu, Antonio Cau, Pierre Collette

claim paper

Read More »

click to vote

CONCUR
1994
Springer

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

Testing-Based Abstractions for Value-Passing Systems

13 years 10 months ago

Download condor.depaul.edu

Rance Cleaveland, James Riely

claim paper

Read More »

click to vote

CONCUR
1994
Springer

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

Weak Sequential Composition in Process Algebras

13 years 10 months ago

Download www.cs.uni-paderborn.de

Abstract. In this paper we study a special operator for sequential composition, which is de ned relative to a dependency relation over the actions of a given system. The idea is th...

Arend Rensink, Heike Wehrheim

claim paper

Read More »

All Subjects

Algorithms

Applied Computing

Artificial Intelligence

Computational Biology