Search Sciweavers | Sciweavers

30 search results - page 1 / 6

» concur 2004

click to vote

CONCUR
2004
Springer

126views Distributed And Parallel Com...» more CONCUR 2004»

Asynchronous Games 2: The True Concurrency of Innocence

14 years 4 months ago

Download www.pps.jussieu.fr

Paul-André Melliès

claim paper

Read More »

click to vote

CONCUR
2004
Springer

83views Distributed And Parallel Com...» more CONCUR 2004»

On Flatness for 2-Dimensional Vector Addition Systems with States

14 years 4 months ago

Download www.labri.fr

Jérôme Leroux, Grégoire Sutre

claim paper

Read More »

click to vote

CONCUR
2004
Springer

87views Distributed And Parallel Com...» more CONCUR 2004»

Elimination of Quantifiers and Undecidability in Spatial Logics for Concurrency

14 years 2 months ago

Download www.it.uu.se

Luís Caires, Étienne Lozes

claim paper

Read More »

click to vote

CONCUR
2004
Springer

98views Distributed And Parallel Com...» more CONCUR 2004»

Compiling Pattern Matching in Join-Patterns

14 years 4 months ago

Download hal.archives-ouvertes.fr

Qin Ma 0002, Luc Maranget

claim paper

Read More »

click to vote

CONCUR
2004
Springer

76views Distributed And Parallel Com...» more CONCUR 2004»

Symbolic Bisimulation in the Spi Calculus

14 years 4 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers