Operational semantics of a weak memory model with channel...

Journal of Logical and Algebraic Methods in Programming 2019 / 02 Vol. 103

Operational semantics of a weak memory model with channel synchronization

Fava, Daniel S., Steffen, Martin, Stolz, Volker
How much do you like this book?
What’s the quality of the file?
Download the book for quality assessment
What’s the quality of the downloaded files?
Volume:
103
Language:
english
Journal:
Journal of Logical and Algebraic Methods in Programming
DOI:
10.1016/j.jlamp.2018.10.004
Date:
February, 2019
File:
PDF, 1.41 MB
english, 2019
Conversion to is in progress
Conversion to is failed