The PaVeS project contributes to CONCUR’20 with three articles:

  • “Flatness and Complexity of Immediate Observation Petri Nets” by Chana Weil-Kennedy, Javier Esparza and Mikhail Raskin,
  • “A Classification of Weak Asynchronous Models of Distributed Computing” by Fabian Reiter and Javier Esparza, and
  • “Characterizing consensus in the Heard-of model” by Balasubramanian A. R. and Igor Walukiewicz.