Search Sciweavers | Sciweavers

1206 search results - page 19 / 242

» Concurrent Abstract Predicates

click to vote

SENSYS
2006
ACM

104views Sensor Networks» more SENSYS 2006»

Abstractions for safe concurrent programming in networked embedded systems

15 years 8 months ago

Download selab.csuohio.edu

William P. McCartney, Nigamanth Sridhar

claim paper

Read More »

click to vote

LICS
2002
IEEE

95views Automated Reasoning» more LICS 2002»

A Fully Abstract May Testing Semantics for Concurrent Objects

15 years 7 months ago

Download www.asaj.org

Alan Jeffrey, Julian Rathke

claim paper

Read More »

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

Download ipdps.cc.gatech.edu

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

claim paper

Read More »

click to vote

ASM
2000
ASM

83views Computational Biology» more ASM 2000»

Investigating Java Concurrency Using Abstract State Machines

15 years 6 months ago

Download www.eecs.umich.edu

Yuri Gurevich, Wolfram Schulte, Charles Wallace

claim paper

Read More »

click to vote

PPCP
1993

92views Programming Languages» more PPCP 1993»

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

15 years 6 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers