Synthesis Algorithm for Processes with Name-Passing

Research output: Contribution to journalArticle

Original languageEnglish
Pages (from-to)41-41
Number of pages1
JournalTechnical Report of IEICE
Volume94
Issue number526
Publication statusPublished - 1995

Cite this