Ensuring liveness properties of distributed systems: Open problems
Saved in:
Published in | Journal of logical and algebraic methods in programming Vol. 109; p. 100480 |
---|---|
Main Author | |
Format | Journal Article |
Language | English |
Published |
01.12.2019
|
Online Access | Get full text |
Cover
Loading…
Be the first to leave a comment!