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

event structuresgamesparallel causesprobabilitystrategies

Mathematics Subject Classification ID

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

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

(9)

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

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)