Strategies as concurrent processes

DOI10.1016/J.ENTCS.2014.10.006MaRDI QIDQ283745zbMATH OpenOpenAlexWikidataFDO

Authors Simon Castellan, Jonathan Hayman, Marc Lasson, Glynn Winskel

Publication date 13 May 2016

Full work available at URL https://doi.org/10.1016/j.entcs.2014.10.006

zbMATH Keywords

bicategoryevent structuresconcurrent game

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

• scientific article; zbMATH DE number 1497859
• Distributed Strategies Made Easy
• Deterministic concurrent strategies
• Games and strategies as event structures
• Bicategories of concurrent games (invited paper)

Cites work

• scientific article; zbMATH DE number 3821120 (Why is no real title available?)
• scientific article; zbMATH DE number 42752 (Why is no real title available?)
• Distributed probabilistic and quantum strategies
• Event structure spans for nondeterministic dataflow
• Event structures with symmetry
• Full abstraction for fair testing in CCS
• On concurrent games with payoff
• Partial Orders, Event Structures and Linear Strategies
• Processes and games
• Profunctors, open maps and bisimulation
• Some reasons for generalising domain theory
• Strategies as profunctors
• Symmetry in concurrent games
• Testing equivalences for processes
• The winning ways of concurrent games
• Winning, losing and drawing in concurrent games with perfect or imperfect information

Cited in

(9)

• Event structures for the reversible early internal \(\pi\)-calculus
• Distributed Strategies Made Easy
• Strategic consensus
• Loops under Strategies
• scientific article; zbMATH DE number 7204333 (Why is no real title available?)
• Rigid families for the reversible \(\pi \)-calculus
• The mays and musts of concurrent strategies
• Recognizing Strategies
• Event structure semantics of (controlled) reversible CCS

This page was built for publication: Strategies as concurrent processes

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