Search Sciweavers | Sciweavers

290 search results - page 1 / 58

» entcs 2006

click to vote

ENTCS
2006

89views more ENTCS 2006»

A Grainless Semantics for Parallel Programs with Shared Mutable Data

13 years 4 months ago

Download www.cs.cmu.edu

Stephen Brookes

claim paper

Read More »

click to vote

ENTCS
2006

123views more ENTCS 2006»

Foundations for Designing Secure Architectures

13 years 4 months ago

Download www4.in.tum.de

Jan Jürjens

claim paper

Read More »

click to vote

ENTCS
2006

121views more ENTCS 2006»

Topological Cones: Foundations for a Domain Theoretical Semantics Combining Probability and Nondeterminism

13 years 4 months ago

Download www.mathematik.tu-darmstadt.de

Klaus Keimel

claim paper

Read More »

click to vote

ENTCS
2006

112views more ENTCS 2006»

Mobile Agents in Interaction Spaces

13 years 4 months ago

Download www-poleia.lip6.fr

Frédéric Peschanski

claim paper

Read More »

click to vote

ENTCS
2006

125views more ENTCS 2006»

ML Module Mania: A Type-Safe, Separately Compiled, Extensible Interpreter

13 years 4 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers