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...
Aubert, Clément and Horne, Ross and Johansen, Christian; Klin, Bartek and Lasota, Sławomir and Muscholl, Anca, eds. (2022) Diamonds for security : a non-interleaving operational semantics for the applied pi-calculus. In: 33rd International Conference on Concurrency Theory. Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, POL, 30:1-30:26. ISBN 9783959772464
![[up]](/style/images/multi_up.png)
Up a level