Concurrent logic games on partial orders

DOI10.1007/978-3-642-20920-8_17MaRDI QIDQ3003356zbMATH OpenOpenAlexFDO

Authors Julian Gutiérrez

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

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) Applications of game theory (91A80)

Recommendations

• Model-checking games for fixpoint logics with partial order models
• Model-Checking Games for Fixpoint Logics with Partial Order Models
• Bisimulation, modal logic and model checking games
• Logics and Bisimulation Games for Concurrency, Causality and Conflict
• Concurrent games with ordered objectives

Cited in

(9)

• A two-player asynchronous game on fully observable Petri nets
• On the determinacy of concurrent games on event structures with infinite winning sets
• scientific article; zbMATH DE number 991699 (Why is no real title available?)
• Model-Checking Games for Fixpoint Logics with Partial Order Models
• Sequentiality vs. concurrency in games and logic
• Concurrent Separation Logic Meets Template Games
• Partial-order Boolean games: informational independence in a logic-based model of strategic interaction
• Model-checking games for fixpoint logics with partial order models
• Partial order reduction for reachability games

This page was built for publication: Concurrent logic games on partial orders

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3003356)