Communities
Connect sessions
AI calendar
Organizations
Join Slack
Contact Sales
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
Characterization and Derivation of Heard-Of Predicates for Asynchronous Message-Passing Models
A. Shimi
A. Hurault
P. Quéinnec
210
1
0
25 Nov 2020
1
Page 1 of 1
