Creative Commons Attribution 3.0 Unported license (CC-BY 3.0)when quoting this document, please refer to the following
DOI: 10.4230/LIPIcs.CSL.2021.30
URN: urn:nbn:de:0030-drops-134645
URL: https://drops.dagstuhl.de/opus/volltexte/2021/13464/
Di Lavore, Elena ; Hedges, Jules ; Sobociński, Paweł
Compositional Modelling of Network Games
| pdf-format: |
|
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.
BibTeX - Entry
@InProceedings{dilavore_et_al:LIPIcs:2021:13464,
author = {Elena Di Lavore and Jules Hedges and Pawe{\l} Sobociński},
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 = {Christel Baier and Jean Goubault-Larrecq},
publisher = {Schloss Dagstuhl--Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/opus/volltexte/2021/13464},
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}
}
| Keywords: | game theory, category theory, network games, open games, open graphs, compositionality | |
| Seminar: | 29th EACSL Annual Conference on Computer Science Logic (CSL 2021) | |
| Issue date: | 2021 | |
| Date of publication: | 13.01.2021 |
