For the most recent entries see the
Petri Nets Newsletter
Keyword: partially synchronous systems
De Prisco, Roberto
Revisiting the Paxos Algorithm.
Stoller, Scott D.
Detecting Global Predicates in Distributed Systems with Clocks.
Do you need a refined search? Try our
which allows complex field-based queries.
Back to the Petri Nets Bibliography