Locally Abstract, Globally Concrete Semantics of Concurrent Programming Languages.

Crystal Chang Din, Reiner Hhnle, Einar Broch Johnsen, Ka I Pun, Silvia Lizeth Tapia Tarifa

Browse the full TABLEAUX paper archive.