scientific article; zbMATH DE number 7204333

DOI10.4230/LIPICS.CSL.2017.41MaRDI QIDQ5111212zbMATH OpenFDO

Authors Marc de Visme, Glynn Winskel

Publication date 26 May 2020

Full work available at URL https://arxiv.org/abs/1607.03747

zbMATH Keywords

probabilityevent structuresgamesstrategiesparallel causes

Mathematics Subject Classification ID

Applications of game theory (91A80) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Parallel strategies
• Strategies as concurrent processes
• Strategies as profunctors
• Reasoning about strategies
• Reasoning about strategies
• Abstract strategies and coherence
• Loops under Strategies
• Interleaving strategies

Cited in

(8)

• Distributed probabilistic and quantum strategies
• Loops under Strategies
• Event structures for Petri nets with persistence
• scientific article; zbMATH DE number 7649892 (Why is no real title available?)
• On probabilistic distributed strategies
• Causal Unfoldings and Disjunctive Causes
• Concurrent semantics for fusions: weak prime domains and connected event structures
• scientific article; zbMATH DE number 7204431 (Why is no real title available?)

This page was built for publication:

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