Ensuring liveness properties of distributed systems: Open problems

Saved in:
Bibliographic Details
Published inJournal of logical and algebraic methods in programming Vol. 109; p. 100480
Main Author van Glabbeek, Rob
Format Journal Article
LanguageEnglish
Published 01.12.2019
Online AccessGet full text

Cover

More Information
ISSN:2352-2208
DOI:10.1016/j.jlamp.2019.100480