Yasui T | Ntt Corp. Atsugi‐shi Jpn

スポンサーリンク

概要

• YASUI Takashiの詳細を見る
• 同名の論文著者
• Ntt Corp. Atsugi‐shi Jpnの論文著者

Ntt Corp. Atsugi‐shi Jpn | 論文

• Termination of Order-Sorted Rewriting with Non-minimal Signatures
• Name Creation Implements Restriction in the π-Calculus
• On Backward-Style Anonymity Verification
• An Adversary Model for Simulation-Based Anonymity Proof
• Verifying Trace Equivalence of a Shared-Memory-Style Communication System(Selected Papers from the 17th Workshop on Circuits and Systems in Karuizawa)

もっと見る

スポンサーリンク