Papers
Communities
Events
Blog
Pricing
Search
Open menu
Home
Papers
2004.10619
Cited By
Derivation of Heard-Of Predicates From Elementary Behavioral Patterns
22 April 2020
A. Shimi
A. Hurault
P. Quéinnec
Re-assign community
ArXiv (abs)
PDF
HTML
Papers citing
"Derivation of Heard-Of Predicates From Elementary Behavioral Patterns"
1 / 1 papers shown
Title
Characterization and Derivation of Heard-Of Predicates for Asynchronous Message-Passing Models
A. Shimi
A. Hurault
P. Quéinnec
39
0
0
25 Nov 2020
1
