PEPA Nets in Practice: Modelling a Decentralised Peer-to-Peer Emergency Medical Application.

Stephen Gilmore, Valentin Haenel, Jane Hillston, Lela Kloul

Browse the full FORTE paper archive.