Message Passing Asynchronous BFS
29 views
Skip to first unread message
ort...@gmail.com
Apr 15, 2016, 3:48:07 AM4/15/16
to tlaplus
Hi,
I'm looking for a Message Passing Asynchronous BFS (on a general connected undirected graph) description in TLA+,
a sequential implementation will also be useful.
Best,
Orr
I'm looking for a Message Passing Asynchronous BFS (on a general connected undirected graph) description in TLA+,
a sequential implementation will also be useful.
Best,
Orr
Reply all
Reply to author
Forward
0 new messages