Search Sciweavers | Sciweavers

36 search results - page 1 / 8

» concur 2009

click to vote

CONCUR
2009
Springer

79views Distributed And Parallel Com...» more CONCUR 2009»

Secure Enforcement for Global Process Specifications

14 years 5 months ago

Download research.microsoft.com

Jérémy Planul, Ricardo Corin, C&eacu...

claim paper

Read More »

click to vote

CONCUR
2009
Springer

88views Distributed And Parallel Com...» more CONCUR 2009»

Modeling Radio Networks

14 years 5 months ago

Download groups.csail.mit.edu

Calvin C. Newport, Nancy A. Lynch

claim paper

Read More »

click to vote

CONCUR
2009
Springer

85views Distributed And Parallel Com...» more CONCUR 2009»

Power of Randomization in Automata on Infinite Strings

14 years 5 months ago

Download www.cs.uic.edu

Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan

claim paper

Read More »

click to vote

CONCUR
2009
Springer

187views Distributed And Parallel Com...» more CONCUR 2009»

A Logic-Based Framework for Reasoning about Composite Data Structures

14 years 5 months ago

Download www.memics.cz

Ahmed Bouajjani, Cezara Dragoi, Constantin Enea, M...

claim paper

Read More »

click to vote

CONCUR
2009
Springer

119views Distributed And Parallel Com...» more CONCUR 2009»

Variable Binding, Symmetric Monoidal Closed Theories, and Bigraphs

14 years 5 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers