Search Sciweavers | Sciweavers

164 search results - page 2 / 33

» Primitives for Contract-based Synchronization

155

Voted

PODC
2004
ACM

96views Distributed And Parallel Com...» more PODC 2004»

On the inherent weakness of conditional synchronization primitives

15 years 11 months ago

Download www.cs.tau.ac.il

Faith Ellen Fich, Danny Hendler, Nir Shavit

claim paper

Read More »

137

click to vote

ICCS
2004
Springer

127views Applied Computing» more ICCS 2004»

Communication Primitives for Minimally Synchronous Parallel ML

15 years 11 months ago

Download lacl.univ-paris12.fr

Frédéric Loulergue

claim paper

Read More »

106

Voted

TMFCS
2008

115views Computer Science» more TMFCS 2008»

Encoding cryptographic primitives in a calculus with polyadic synchronization

15 years 7 months ago

Download wslc.math.ist.utl.pt

Joana Martinho, António Ravara

claim paper

Read More »

122

click to vote

ENTCS
2010

73views more ENTCS 2010»

Full Abstraction Without Synchronization Primitives

15 years 6 months ago

Download www.comlab.ox.ac.uk

Andrzej S. Murawski

claim paper

Read More »

Voted

CORR
2010
Springer

45views Education» more CORR 2010»

Primitives for Contract-based Synchronization

15 years 6 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers