Mano Ken | NTT Communication Science Labs.
スポンサーリンク
概要
関連著者
-
Mano Ken
NTT Communication Science Labs.
-
Mano Ken
Ntt Communication Science Laboratories
-
Kawabe Yoshinobu
Ntt Corp. Atsugi‐shi Jpn
-
Kawabe Yoshinobu
Ntt Communication Science Laboratories Ntt Corporation
-
Sakurada Hideki
Ntt Corp. Atsugi‐shi Jpn
-
Kogure Kiyoshi
Ntt Communication Science Laboratories Ntt Corporation
-
Ogawa Mizuhito
Ntt Basic Research Labs.
-
Ogawa Mizuhito
Ntt Basic Research Laboratories
-
Mano Ken
Ntt Communication Science Laboratories Ntt Corporation
-
HORITA Eiichi
NTT Information Sharing Platform Laboratories, NTT Corporation
-
Sakurada Hideki
Ntt Communication Science Laboratories Ntt Corporation
-
TSUKADA Yasuyuki
NTT Communication Science Laboratories, NTT Corporation
-
Tsukada Yasuyuki
Ntt Communication Science Laboratories Ntt Corporation
-
Horita Eiichi
Ntt Communication Science Laboratories
-
Horita Eiichi
Ntt Information Sharing Platform Laboratories Ntt Corporation
-
Mano Ken
Ntt Corp. Atsugi‐shi Jpn
著作論文
- A new proof of Chew's theorem(Theory of Rewriting Systems and Its Applications)
- Name Creation Implements Restriction in the π-Calculus
- On Backward-Style Anonymity Verification
- A Metric Semantics for the $\pi$-Calculus Extended with External Events(Concurrency Theory and Applications '96)
- Verifying Trace Equivalence of a Shared-Memory-Style Communication System(Selected Papers from the 17th Workshop on Circuits and Systems in Karuizawa)