An OR-compositional Semantics of GHC for Programs with Perpetual Processes(共著)

Research output: Contribution to journalArticle

Original languageEnglish
Pages (from-to)1497-1497
Number of pages1
JournalTransactions of Information Processing Society of Japan
Volume37
Issue number8
Publication statusPublished - 1996

Cite this