LAGC

Locally Abstract, Globally Concrete Semantics of Concurrent Programming Languages

Proc. TABLEAUX 2017

Crystal Chang Din, Reiner Hähnle, Einar Broch Johnsen, Violet Ka I Pun, Silvia Lizeth Tapia Tarifa