Checking Equivalence for Mobile Processes with Failure Semantics

Research output: Contribution to journalArticle

Original languageEnglish
Pages (from-to)9-9
Number of pages1
JournalTechnical Report of IEICE
Volumecomp96
Publication statusPublished - 1997

Cite this

Checking Equivalence for Mobile Processes with Failure Semantics. / Murakami, Masaki.

In: Technical Report of IEICE, Vol. comp96, 1997, p. 9-9.

Research output: Contribution to journalArticle

@article{9697072e9bcb49ae9eca49300ba13b93,
title = "Checking Equivalence for Mobile Processes with Failure Semantics",
author = "Masaki Murakami",
year = "1997",
language = "English",
volume = "comp96",
pages = "9--9",
journal = "Technical Report of IEICE",

}

TY - JOUR

T1 - Checking Equivalence for Mobile Processes with Failure Semantics

AU - Murakami, Masaki

PY - 1997

Y1 - 1997

M3 - Article

VL - comp96

SP - 9

EP - 9

JO - Technical Report of IEICE

JF - Technical Report of IEICE

ER -