Browsing by Subject Parallel processing (Electronic computers)
Showing results 17 to 17 of 17
< previous
Issue Date | Title | Author(s) |
---|---|---|
2013 | Separation-based reasoning for deterministic message-passing concurrent programs | Borda, Aimee (2013) |