Multi-scale verification of distributed synchronisation



Gainer, Paul, Linker, Sven ORCID: 0000-0003-2913-7943, Dixon, Clare ORCID: 0000-0002-4610-9533, Hustadt, Ullrich ORCID: 0000-0002-0455-0267 and Fisher, Michael ORCID: 0000-0002-0875-3862
(2020) Multi-scale verification of distributed synchronisation. FORMAL METHODS IN SYSTEM DESIGN.

[img] Text
1809.10655v1.pdf - Submitted version

Download (456kB)
Item Type: Article
Uncontrolled Keywords: Synchronisation, Pulse-coupled oscillators, Abstraction, Probabilistic verification, Weak bisimulation
Depositing User: Symplectic Admin
Date Deposited: 08 Oct 2018 09:28
Last Modified: 19 Jan 2023 01:15
DOI: 10.1007/s10703-020-00347-z
Related URLs:
URI: https://livrepository.liverpool.ac.uk/id/eprint/3027176