Multi-action π-calculus(共著)

Research output: Contribution to journalArticle

Original languageEnglish
Pages (from-to)111-111
Number of pages1
JournalConcurrency Theory and Applications ''96, The Lecture Notes of RIMS, Kyoto University
Issue number996
Publication statusPublished - 1997

Cite this