Abstract | ||
---|---|---|
Concurrent programming is known to be quite hard. It is made even harder by the fact that, very often, the execution models of the machines we run our software on are not precisely defined. This document is a tutorial on the herd tool and the cat language, in which one can define consistency models. [GRAPHICS] . |
Year | DOI | Venue |
---|---|---|
2015 | 10.1007/978-3-319-18941-3_3 | Lecture Notes in Computer Science |
Field | DocType | Volume |
Programming language,Sequential consistency,Computer science,Litmus,Theoretical computer science,Real-time computing,Software,Concurrent computing | Conference | 9104 |
ISSN | Citations | PageRank |
0302-9743 | 2 | 0.40 |
References | Authors | |
8 | 1 |
Name | Order | Citations | PageRank |
---|---|---|---|
Jade Alglave | 1 | 608 | 26.53 |