Search Sciweavers | Sciweavers

852 search results - page 3 / 171

» entcs 2010

click to vote

ENTCS
2006

89views more ENTCS 2006»

A Grainless Semantics for Parallel Programs with Shared Mutable Data

14 years 10 months ago

Download www.cs.cmu.edu

Stephen Brookes

claim paper

Read More »

click to vote

ENTCS
2006

131views more ENTCS 2006»

Bigraphical Semantics of Higher-Order Mobile Embedded Resources with Local Names

14 years 10 months ago

Download www.itu.dk

Mikkel Bundgaard, Thomas T. Hildebrandt

claim paper

Read More »

click to vote

ENTCS
2006

127views more ENTCS 2006»

Open Bisimulation, Revisited

14 years 10 months ago

Download www.prism.uvsq.fr

Sébastien Briais, Uwe Nestmann

claim paper

Read More »

click to vote

ENTCS
2006

107views more ENTCS 2006»

Separation of Synchronous and Asynchronous Communication Via Testing

14 years 10 months ago

Download www.lix.polytechnique.fr

Diletta Cacciagrano, Flavio Corradini, Catuscia Pa...

claim paper

Read More »

click to vote

ENTCS
2006

128views more ENTCS 2006»

Bunching for Regions and Locations

14 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers