Search Sciweavers | Sciweavers

4385 search results - page 13 / 877

» Abstraction for Concurrent Objects

116

click to vote

ECOOP
2010
Springer

150views Programming Languages» more ECOOP 2010»

Concurrent Abstract Predicates

15 years 10 months ago

Download www.cl.cam.ac.uk

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

claim paper

Read More »

122

click to vote

IPPS
2000
IEEE

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

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

15 years 10 months ago

Download ipdps.cc.gatech.edu

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

claim paper

Read More »

122

click to vote

ASM
2000
ASM

83views Computational Biology» more ASM 2000»

Investigating Java Concurrency Using Abstract State Machines

15 years 10 months ago

Download www.eecs.umich.edu

Yuri Gurevich, Wolfram Schulte, Charles Wallace

claim paper

Read More »

130

Voted

PPCP
1993

92views Programming Languages» more PPCP 1993»

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

15 years 9 months ago

Download web.it.kth.se

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

claim paper

Read More »

138

click to vote

PLILP
1994
Springer

109views Programming Languages» more PLILP 1994»

Abstracting Synchronization in Concurrent Constraint Programming

15 years 9 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers