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

15 years 4 months ago

Download www.cs.cmu.edu

Luís Caires, Frank Pfenning

claim paper

Read More »

114

click to vote

CONCUR
2010
Springer

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

Nash Equilibria for Reachability Objectives in Multi-player Timed Games

15 years 4 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)

15 years 4 months ago

Download www.scss.tcd.ie

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

claim paper

Read More »

101

click to vote

CONCUR
2010
Springer

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

Reversing Higher-Order Pi

15 years 3 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

15 years 4 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers