Communities
Connect sessions
AI calendar
Organizations
Join Slack
Contact Sales
Search
Open menu
Home
Papers
1805.01657
Cited By
v1
v2
v3 (latest)
Characterizing Asynchronous Message-Passing Models Through Rounds
4 May 2018
A. Shimi
A. Hurault
P. Quéinnec
Re-assign community
ArXiv (abs)
PDF
HTML
Papers citing
"Characterizing Asynchronous Message-Passing Models Through Rounds"
3 / 3 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
Derivation of Heard-Of Predicates From Elementary Behavioral Patterns
A. Shimi
A. Hurault
P. Quéinnec
169
2
0
22 Apr 2020
Reducing asynchrony to synchronized rounds
International Conference on Computer Aided Verification (CAV), 2018
A. Damian
Cezara Dragoi
Alexandru Militaru
Josef Widder
159
38
0
19 Apr 2018
1
Page 1 of 1
