New-HOPLA:A Higher-Order Process Language with Name Generation

Autor: Winskel, G., Zappa Nardelli, F.

Publikováno v: Winskel, G, Zappa Nardelli, F, Lévy, J (ed.), Mayr, E (ed.) & Mitchell, J (ed.) 2004, New-HOPLA : A Higher-Order Process Language with Name Generation . in Ikke angivet . Kluwer Academic Publishers, pp. 521-534, 3rd IFIP International Conference on Theoretical Computer Science (TCS '04), Toulouse, France, 24/08/2004 .

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=pure_au_____::bea9c5c7889af2468a7a9cc2249f5a45
https://pure.au.dk/portal/da/publications/newhopla(6d642450-91e5-11dc-bee9-02004c4f4f50).html

Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.

Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.

Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.

Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.