Search Sciweavers | Sciweavers

118 search results - page 7 / 24

» Concurrent Omega-Regular Games

click to vote

FOSSACS
2009
Springer

98views Software Engineering» more FOSSACS 2009»

Logics and Bisimulation Games for Concurrency, Causality and Conflict

14 years 1 months ago

Download homepages.inf.ed.ac.uk

Julian Gutierrez

claim paper

Read More »

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 days ago

Download www.pps.jussieu.fr

Paul-André Melliès

claim paper

Read More »

click to vote

FOCS
1998
IEEE

80views Theoretical Computer Science» more FOCS 1998»

Concurrent Reachability Games

13 years 11 months ago

Download mtc.epfl.ch

Luca de Alfaro, Thomas A. Henzinger, Orna Kupferma...

claim paper

Read More »

click to vote

CSL
2006
Springer

142views Automated Reasoning» more CSL 2006»

Concurrent Games with Tail Objectives

13 years 10 months ago

Download www.eecs.berkeley.edu

Krishnendu Chatterjee

claim paper

Read More »

click to vote

CORR
2008
Springer

76views Education» more CORR 2008»

Termination Criteria for Solving Concurrent Safety and Reachability Games

13 years 6 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers