Search Sciweavers | Sciweavers

4385 search results - page 13 / 877

» Abstraction for Concurrent Objects

click to vote

ECOOP
2010
Springer

150views Programming Languages» more ECOOP 2010»

Concurrent Abstract Predicates

15 years 8 months ago

Download www.cl.cam.ac.uk

Thomas Dinsdale-Young, Mike Dodds, Philippa Gardne...

claim paper

Read More »

Voted

IPPS
2000
IEEE

114views Distributed And Parallel Com...» more IPPS 2000»

Tutorial 1: Abstraction and Refinement of Concurrent Programs and Formal Specification

15 years 7 months ago

Download ipdps.cc.gatech.edu

Dominique Cansell, Dominique Méry, Christop...

claim paper

Read More »

101

click to vote

ASM
2000
ASM

83views Computational Biology» more ASM 2000»

Investigating Java Concurrency Using Abstract State Machines

15 years 7 months ago

Download www.eecs.umich.edu

Yuri Gurevich, Wolfram Schulte, Charles Wallace

claim paper

Read More »

101

Voted

PPCP
1993

92views Programming Languages» more PPCP 1993»

Concurrent Constraint Programming at SICS with the Andorra Kernel Language (Extended Abstract)

15 years 7 months ago

Download web.it.kth.se

Seif Haridi, Sverker Janson, Johan Montelius, Tork...

claim paper

Read More »

115

click to vote

PLILP
1994
Springer

109views Programming Languages» more PLILP 1994»

Abstracting Synchronization in Concurrent Constraint Programming

15 years 7 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers