Blog Archives

The age of gossip: spatial mean field regime

Background Paper

A. Chaintreau, J.-Y. Le Boudec, N. Ristanovic Proceedings of the eleventh international joint conference on Measurement and modeling of computer systems, pages 109-120, 2009 DOI: 10.1145/1555349.1555363 Used by the Quanticol project The authors develop a mean field model of movement

Tagged with: ,
Posted in For Researchers, For Students, Research Landscape, Reviews of Background Papers

2 new publications from Quanticol

1. A Quantitative Approach to the Design and Analysis of Collective Adaptive Systems Luca Bortolussi, Rocco De Nicola, Nicolas Gast, Stephen Gilmore, Jane Hillston, Mieke Massink, Mirco Tribastone. 2. Stochastic Process Algebra and Stability Analysis of Collective Systems Luca Bortolussi,

Tagged with: ,
Posted in For Researchers, For Students, News Stream

Stephen Gilmore Interview

Stephen Gilmore

Interview with Stephen Gilmore from FET FoCAS on Vimeo. Stephen is involved in the Quanticol Project. He is professor at the University of Edinburgh, he is the Chair of Software Systems Modelling in the School of Informatics and a member

Tagged with: ,
Posted in For Educators, For Researchers, Research Landscape, Video, Video Opinions

Introduction to Quanticol

Twenty20 presentation by Stephen Gilmore. With Audio. From the FoCAS Inter-project meeting, Barcelona, June 2013.

Tagged with: ,
Posted in By Event, For Educators, For Researchers, For Students, Inter-Project Meeting 2013, Presentations, Twenty20, Video