Picture of small jelly fish in ocean

Open Access research that better understands changing marine ecologies...

Strathprints makes available scholarly Open Access content by researchers in the Department of Mathematics & Statistics.

Mathematics & Statistics hosts the Marine Population Modelling group which is engaged in research into topics surrounding marine resource modelling and ecology. Recent work has included important developments in the population modelling of marine species.

Explore the Open Access research of Mathematics & Statistics. Or explore all of Strathclyde's Open Access research...

Strathprints

Browse by Author or creator

[up] Up a level
Group by: Publication Date | Item type | No Grouping
Jump to: 2024 | 2023 | 2019 | 2018 | 2017 | 2014
Number of items: 9.

2024

Montacute, Yoàv and Winskel, Glynn; (2024) Concurrent Games over Relational Structures : The Origin of Game Comonads. In: Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science. Proceedings of the Annual ACM/IEEE Symposium on Logic in Computer Science . ACM, EST, pp. 1-14. ISBN 9798400706608

2023

Winskel, Glynn; Walukiewicz, Igor, ed. (2023) Making concurrency functional. In: 2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS). IEEE, Piscataway, NJ, pp. 1-14. ISBN 9798350335873

Winskel, Glynn (2023) Making concurrency functional. In: 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2023-06-26 - 2023-06-29, Boston University.

De Visme, Marc and Winskel, Glynn (2023) Causal unfoldings and disjunctive causes. Logical Methods in Computer Science, 19 (2). 4:1-4:30. ISSN 1860-5974

2019

Clairambault, Pierre and De Visme, Marc and Winskel, Glynn (2019) Game semantics for quantum programming. Proceedings of the ACM on Programming Languages (PACMPL), 3 (POPL). 32. ISSN 2475-1421

2018

Alcolei, Aurore and Clairambault, Pierre and Hyland, Martin and Winskel, Glynn; Ghica, Dan R. and Jung, Achim, eds. (2018) The true concurrency of Herbrand's theorem. In: 27th EACSL Annual Conference on Computer Science Logic (CSL 2018). Leibniz International Proceedings in Informatics, LIPIcs . Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, GBR, 5:1-5:22. ISBN 9783959770880

Castellan, Simon and Clairambault, Pierre and Paquet, Hugo and Winskel, Glynn; (2018) The concurrent game semantics of Probabilistic PCF. In: Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2018. Proceedings - Symposium on Logic in Computer Science . ACM, GBR, pp. 215-224. ISBN 9781450355834

2017

Castellan, Simon and Clairambault, Pierre and Rideau, Silvain and Winskel, Glynn (2017) Games and strategies as event structures. Logical Methods in Computer Science, 13 (3). 35. ISSN 1860-5974

2014

Castellan, Simon and Clairambault, Pierre and Winskel, Glynn; (2014) Symmetry in concurrent games. In: CSL-LICS '14 : Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS). ACM, AUT, pp. 1-10. ISBN 9781450328869

This list was generated on Thu Nov 21 11:37:53 2024 GMT.