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

Synthesis Algorithm for Processes with Name-Passing. / Murakami, Masaki.

In: Technical Report of IEICE, Vol. 94, No. 526, 1995, p. 41-41.

Research output: Contribution to journalArticle

@article{8cd0b3aaea844fe8a4c7bb69382c24bd,
title = "Synthesis Algorithm for Processes with Name-Passing",
author = "Masaki Murakami",
year = "1995",
language = "English",
volume = "94",
pages = "41--41",
journal = "Technical Report of IEICE",
number = "526",

}

TY - JOUR

T1 - Synthesis Algorithm for Processes with Name-Passing

AU - Murakami, Masaki

PY - 1995

Y1 - 1995

M3 - Article

VL - 94

SP - 41

EP - 41

JO - Technical Report of IEICE

JF - Technical Report of IEICE

IS - 526

ER -