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

13 years 11 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

13 years 11 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

13 years 11 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

13 years 11 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

13 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers