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.
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 |
Dimensions
Altmetric
Share
CORE (COnnecting REpositories)