Determinizing monitors for HML with recursion

Journal of Logical and Algebraic Methods in Programming 2020 / 02 Vol. 111

Determinizing monitors for HML with recursion

Aceto, Luca, Achilleos, Antonis, Francalanza, Adrian, Ingólfsdóttir, Anna, Kjartansson, Sævar Örn
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:
111
Journal:
Journal of Logical and Algebraic Methods in Programming
DOI:
10.1016/j.jlamp.2019.100515
Date:
February, 2020
File:
PDF, 922 KB
2020
Conversion to is in progress
Conversion to is failed