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.
Cite
CITATION STYLE
APA
Alglave, J. (2015). Modeling of architectures. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 9104, pp. 97–145). Springer Verlag. https://doi.org/10.1007/978-3-319-18941-3_3
Register to see more suggestions
Mendeley helps you to discover research relevant for your work.
Already have an account? Sign in
Sign up for free