Search Sciweavers | Sciweavers

30 search results - page 1 / 6

» concur 2004

147

click to vote

CONCUR
2004
Springer

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

Asynchronous Games 2: The True Concurrency of Innocence

15 years 11 months ago

Download www.pps.jussieu.fr

Paul-André Melliès

claim paper

Read More »

106

Voted

CONCUR
2004
Springer

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

On Flatness for 2-Dimensional Vector Addition Systems with States

15 years 11 months ago

Download www.labri.fr

Jérôme Leroux, Grégoire Sutre

claim paper

Read More »

134

click to vote

CONCUR
2004
Springer

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

Elimination of Quantifiers and Undecidability in Spatial Logics for Concurrency

15 years 9 months ago

Download www.it.uu.se

Luís Caires, Étienne Lozes

claim paper

Read More »

107

click to vote

CONCUR
2004
Springer

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

Compiling Pattern Matching in Join-Patterns

15 years 11 months ago

Download hal.archives-ouvertes.fr

Qin Ma 0002, Luc Maranget

claim paper

Read More »

105

Voted

CONCUR
2004
Springer

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

Symbolic Bisimulation in the Spi Calculus

15 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers