Login / Signup
Towards an integrated formal method for verification of liveness properties in distributed systems: with application to population protocols.
Dominique Méry
Michael Poppleton
Published in:
Softw. Syst. Model. (2017)
Keyphrases
</>
distributed systems
distributed environment
distributed computing
loosely coupled
objective function
response time
message passing
agent technology
formal methods