CONCUR 2005 – Concurrency Theory

DOI10.1007/11539452zbMath1134.68429MaRDI QIDQ5897498

Krishnendu Chatterjee

Publication date: 1 November 2006

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/11539452

Mathematics Subject Classification ID

68Q25: Analysis of algorithms and problem complexity

91A05: 2-person games

91A43: Games involving graphs

91A15: Stochastic games, stochastic differential games

68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)

Related Items

A survey of stochastic \(\omega \)-regular games