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.

Dynamic Data-Driven Formal Progress Envelopes for Distributed Algorithms

Saswata Paul, Fotis Kopsaftopoulos, Stacy Patterson, Carlos A. Varela. Dynamic Data-Driven Formal Progress Envelopes for Distributed Algorithms. In Frederica Darema, Erik Blasch, Sai Ravela, Alex Aved, editors, Dynamic Data Driven Application Systems - Third International Conference, DDDAS 2020, Boston, MA, USA, October 2-4, 2020, Proceedings. Volume 12312 of Lecture Notes in Computer Science, pages 245-252, Springer, 2020. [doi]

Authors

Saswata Paul

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

Fotis Kopsaftopoulos

This author has not been identified. Look up 'Fotis Kopsaftopoulos' 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