Login / Signup

Towards an integrated formal method for verification of liveness properties in distributed systems: with application to population protocols.

Dominique MéryMichael 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