Search Sciweavers | Sciweavers

36 search results - page 1 / 8

» concur 2010

click to vote

CONCUR
2010
Springer

162views Distributed And Parallel Com...» more CONCUR 2010»

Session Types as Intuitionistic Linear Propositions

13 years 11 months ago

Download www.cs.cmu.edu

Luís Caires, Frank Pfenning

claim paper

Read More »

click to vote

CONCUR
2010
Springer

132views Distributed And Parallel Com...» more CONCUR 2010»

Nash Equilibria for Reachability Objectives in Multi-player Timed Games

13 years 11 months ago

Download www.lsv.ens-cachan.fr

Patricia Bouyer, Romain Brenguier, Nicolas Markey

claim paper

Read More »

click to vote

CONCUR
2010
Springer

113views Distributed And Parallel Com...» more CONCUR 2010»

Communicating Transactions - (Extended Abstract)

13 years 11 months ago

Download www.scss.tcd.ie

Edsko de Vries, Vasileios Koutavas, Matthew Hennes...

claim paper

Read More »

click to vote

CONCUR
2010
Springer

135views Distributed And Parallel Com...» more CONCUR 2010»

Reversing Higher-Order Pi

13 years 10 months ago

Download www.cs.unibo.it

Ivan Lanese, Claudio Antares Mezzina, Jean-Bernard...

claim paper

Read More »

click to vote

CONCUR
2010
Springer

137views Distributed And Parallel Com...» more CONCUR 2010»

Stochastic Real-Time Games with Qualitative Timed Automata Objectives

13 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers