Paper Info
Title
Ensuring liveness properties of distributed systems: Open problems.
Abstract
Often fairness assumptions need to be made in order to establish liveness properties of distributed systems, but in many situations they lead to false conclusions.
Year
DOI
Venue
2019
10.1016/j.jlamp.2019.100480
Journal of Logical and Algebraic Methods in Programming
Field
DocType
Volume
Operational semantics,Petri net,Axiom,Concurrency,Theoretical computer science,Temporal logic,Process calculus,Mutual exclusion,Mathematics,Liveness,Distributed computing
Journal
109
ISSN
Citations 
PageRank 
2352-2208
0
0.34
References 
Authors
0
1
Name
Order
Citations
PageRank
Rob J. van Glabbeek11930134.34