Locally Abstract, Globally Concrete Semantics of Concurrent Programming Languages

Autor:	Din, Crystal Chang, Hähnle, Reiner, Henrio, Ludovic, Johnsen, Einar Broch, Pun, Violet Ka I, Tapia Tarifa, Silvia Lizeth
Databáze:	NORA (Norwegian Open Research Archive)
Externí odkaz:	https://hdl.handle.net/11250/3152463 Zobrazit plný text záznamu