Search Sciweavers | Sciweavers

1204 search results - page 18 / 241

» Parallel concurrent ML

121

click to vote

CONCUR
1998
Springer

90views Distributed And Parallel Com...» more CONCUR 1998»

Detecting Deadlocks in Concurrent Systems

15 years 10 months ago

Download www.brics.dk

Lisbeth Fajstrup, Eric Goubault, Martin Rauß...

claim paper

Read More »

122

click to vote

ICDCS
1996
IEEE

95views Distributed And Parallel Com...» more ICDCS 1996»

Sentries for the Execution of Concurrent Programs

15 years 10 months ago

Download webspace.utexas.edu

Sarah E. Chodrow, Mohamed G. Gouda

claim paper

Read More »

118

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 10 months ago

Download www.cse.dmu.ac.uk

Qiwen Xu, Antonio Cau, Pierre Collette

claim paper

Read More »

146

click to vote

REX
1993

121views Logical Reasoning» more REX 1993»

Verification Tools for Finite-State Concurrent Systems

15 years 10 months ago

Download www-2.cs.cmu.edu

Edmund M. Clarke, Orna Grumberg, David E. Long

claim paper

Read More »

120

click to vote

PPOPP
1990
ACM

73views Distributed and Parallel Com...» more PPOPP 1990»

Continuations and Concurrency

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers