Publikationsansicht

A Fully Abstract Denotational Model for Communicating Processes with Label-Passing (1995)

Details der Publikation

Download	http://hdl.handle.net/2433/59390
Herausgeber	京都大学数理解析研究所
Mitarbeiter	堀田, 英一, ドゥフリース, フェル-ヤン, ホリタ, エイイチ, ドゥフリース, フェル-ヤン
Archiv	Kyoto University Research Information Repository (KURENAI) ()
Keywords	410
Typ	Departmental Bulletin Paper
Sprache	Englisch