Concurrent Logic Games on Partial Orders

DOI10.1007/978-3-642-20920-8_17zbMath1291.03066OpenAlexW1543590097MaRDI QIDQ3003356

Julian Gutierrez

Publication date: 27 May 2011

Published in: Logic, Language, Information and Computation (Search for Journal in Brave)

Full work available at URL: https://ora.ox.ac.uk/objects/uuid:8d5b5021-7e16-4c01-9aa9-231a48ac7c55

Mathematics Subject Classification ID

Applications of game theory (91A80) Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (3)

On the determinacy of concurrent games on event structures with infinite winning sets ⋮ Partial-order Boolean games: informational independence in a logic-based model of strategic interaction ⋮ A two-player asynchronous game on fully observable Petri nets

This page was built for publication: Concurrent Logic Games on Partial Orders