On Typing Systems for the Polyadic $\pi$-Calculus(Concurrency Theory and Applications '96)

Autor:	Togashi, Atsushi
Jazyk:	angličtina
Rok vydání:	1997
Zdroj:	数理解析研究所講究録. 996:125-142
ISSN:	1880-2818
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=jairo_______::4b04d944e17d293d3cac8ca9bbecf9c9 http://hdl.handle.net/2433/61234 Zobrazit plný text záznamu