A Metric Semantics for the $\pi$-Calculus Extended with External Events(Concurrency Theory and Applications '96)
スポンサーリンク
概要
著者
-
Mano Ken
NTT Communication Science Labs.
-
Mano Ken
Ntt Communication Science Laboratories
-
Horita Eiichi
Ntt Communication Science Laboratories
関連論文
- 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)