Nobuko Yoshida. Channel dependent types for higher-order mobile processes. In Conference Record of POPL '04: The 24th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Venice,Italy, jan 2004. 66 Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
safeDpi: a language for controlling mobile code - Hennessy, Rathke, Yoshida (2003) (16 citations) Self-citation (Yoshida) (Correct)
No context found.
Nobuko Yoshida. Channel dependent types for higher-order mobile processes. In Conference Record of POPL '04: The 24th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Venice,Italy, jan 2004. 66
safeDpi: a language for controlling mobile code - Hennessy, Rathke, Yoshida (2003) (16 citations) Self-citation (Yoshida) (Correct)
No context found.
Nobuko Yoshida. Channel dependent types for higher-order mobile processes. In Conference Record of POPL '04: The 24th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Venice,Italy, jan 2004.
A Dependently Typed Ambient Calculus - Lhoussaine, Sassone (2003) (9 citations) (Correct)
No context found.
N. Yoshida. Channel dependent types for higher-order mobile processes. In POPL04, 2004. To appear.
A Dependently Typed Ambient Calculus - Edric Lhoussaine And (2003) (9 citations) (Correct)
No context found.
N. Yoshida. Channel dependent types for higher-order mobile processes. In POPL'04, 2004. To appear.
A Dependently Typed Ambient Calculus - Lhoussaine, Sassone (2003) (9 citations) (Correct)
No context found.
N. Yoshida. Channel dependent types for higher-order mobile processes. In POPL04, 2004. To appear.
A Dependently Typed Ambient Calculus - Lhoussaine, Sassone (2003) (9 citations) (Correct)
No context found.
N. Yoshida. Channel dependent types for higher-order mobile processes. In POPL'04, 2004. To appear.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC