Julian Hedges

Search results

• 2021

  Compositional modelling of network games

  Di Lavore, E., Hedges, J. & Sobociński, P., 13 Jan 2021, 29th EACSL Annual Conference on Computer Science Logic, CSL 2021. Baier, C. & Goubault-Larrecq, J. (eds.). Dagstuhl, Germany: Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 25 p. 30. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 183).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution book

  Open Access

  File

  • Distributed Game 100%
  2 Citations (Scopus)

  43 Downloads (Pure)