Ceek.jp Altmetrics (α ver.)
  1. ホーム
  2. 文献一覧: de Vries Fer-Jan (著者)
  3. 1件

1 0 0 0 OA A Fully Abstract Denotational Model for Communicating Processes with Label-Passing

著者
Horita Eiichi de Vries Fer-Jan
出版者
京都大学数理解析研究所
雑誌
数理解析研究所講究録 (ISSN:18802818)
巻号頁・発行日
vol.902, pp.26-48, 1995-03