1 Search Results for "Di Lavore, Elena"

Document
DOI: 10.4230/LIPIcs.CSL.2021.30
Compositional Modelling of Network Games

Authors: Elena Di Lavore, Jules Hedges, and Paweł Sobociński

Published in: LIPIcs, Volume 183, 29th EACSL Annual Conference on Computer Science Logic (CSL 2021)

Abstract
The analysis of games played on graph-like structures is of increasing importance due to the prevalence of social networks, both virtual and physical, in our daily life. As well as being relevant in computer science, mathematical analysis and computer simulations of such distributed games are vital methodologies in economics, politics and epidemiology, amongst other fields. Our contribution is to give compositional semantics of a family of such games as a well-behaved mapping, a strict monoidal functor, from a category of open graphs (syntax) to a category of open games (semantics). As well as introducing the theoretical framework, we identify some applications of compositionality.
Cite as

Elena Di Lavore, Jules Hedges, and Paweł Sobociński. Compositional Modelling of Network Games. In 29th EACSL Annual Conference on Computer Science Logic (CSL 2021). Leibniz International Proceedings in Informatics (LIPIcs), Volume 183, pp. 30:1-30:24, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2021)

Copy BibTex To Clipboard

@InProceedings{dilavore_et_al:LIPIcs.CSL.2021.30,
  author =	{Di Lavore, Elena and Hedges, Jules and Soboci\'{n}ski, Pawe{\l}},
  title =	{{Compositional Modelling of Network Games}},
  booktitle =	{29th EACSL Annual Conference on Computer Science Logic (CSL 2021)},
  pages =	{30:1--30:24},
  series =	{Leibniz International Proceedings in Informatics (LIPIcs)},
  ISBN =	{978-3-95977-175-7},
  ISSN =	{1868-8969},
  year =	{2021},
  volume =	{183},
  editor =	{Baier, Christel and Goubault-Larrecq, Jean},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.CSL.2021.30},
  URN =		{urn:nbn:de:0030-drops-134645},
  doi =		{10.4230/LIPIcs.CSL.2021.30},
  annote =	{Keywords: game theory, category theory, network games, open games, open graphs, compositionality}
}
  • Refine by Author
  • 1 Di Lavore, Elena
  • 1 Hedges, Jules
  • 1 Sobociński, Paweł

  • Refine by Classification
  • 1 Theory of computation → Categorical semantics

  • Refine by Keyword
  • 1 category theory
  • 1 compositionality
  • 1 game theory
  • 1 network games
  • 1 open games
  • Show More...

  • Refine by Type
  • 1 document

  • Refine by Publication Year
  • 1 2021

Questions / Remarks / Feedback
X

Feedback for Dagstuhl Publishing


Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail
© 2023-2024 Schloss Dagstuhl – LZI GmbH Imprint Privacy Contact