Search Sciweavers | Sciweavers

118 search results - page 7 / 24

» Concurrent Omega-Regular Games

101

click to vote

FOSSACS
2009
Springer

98views Software Engineering» more FOSSACS 2009»

Logics and Bisimulation Games for Concurrency, Causality and Conflict

15 years 9 months ago

Download homepages.inf.ed.ac.uk

Julian Gutierrez

claim paper

Read More »

116

click to vote

CONCUR
2004
Springer

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

Asynchronous Games 2: The True Concurrency of Innocence

15 years 8 months 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

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

15 years 6 months ago

Download www.eecs.berkeley.edu

Krishnendu Chatterjee

claim paper

Read More »

Voted

CORR
2008
Springer

76views Education» more CORR 2008»

Termination Criteria for Solving Concurrent Safety and Reachability Games

15 years 3 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers