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)

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

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)