CONCUR 1994 | Sciweavers

28

click to vote

CONCUR
1994
Springer

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

On Unifying Assumption-Commitment Style Proof Rules for Concurrency

14 years 3 months ago

Download www.cse.dmu.ac.uk

Qiwen Xu, Antonio Cau, Pierre Collette

claim paper

Read More »

43

click to vote

CONCUR
1994
Springer

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

Composition and Behaviors of Probabilistic I/O Automata

14 years 3 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 »

34

click to vote

CONCUR
1994
Springer

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

Weak Sequential Composition in Process Algebras

14 years 3 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 »

29

click to vote

CONCUR
1994
Springer

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

Testing-Based Abstractions for Value-Passing Systems

14 years 3 months ago

Download condor.depaul.edu

Rance Cleaveland, James Riely

claim paper