External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Eventual consensus in Synod: verification using a failure-aware actor model

Saswata Paul, Gul Agha, Stacy Patterson, Carlos A. Varela. Eventual consensus in Synod: verification using a failure-aware actor model. ISSE, 19(4):395-410, December 2023. [doi]

Authors

Saswata Paul

This author has not been identified. Look up 'Saswata Paul' in Google

Gul Agha

This author has not been identified. Look up 'Gul Agha' in Google

Stacy Patterson

This author has not been identified. Look up 'Stacy Patterson' in Google

Carlos A. Varela

This author has not been identified. It may be one of the following persons: Look up 'Carlos A. Varela' in Google
runs on