Torben Amtoft and J. B. Wells. Mobile processes with dependent communication types and singleton types for names and capabilities. Technical Report 2002-3, Kansas State University, Department of Computing and Information Sciences, December 2002. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
Unknown - Ist- Dynamic Assembly (Correct)
No context found.
Torben Amtoft and J. B. Wells. Mobile processes with dependent communication types and singleton types for names and capabilities. Technical Report 2002-3, Kansas State University, Department of Computing and Information Sciences, December 2002.
Unknown - Ist- Dynamic Assembly (Correct)
No context found.
Torben Amtoft and J. B. Wells. Mobile processes with dependent communication types and singleton types for names and capabilities. Technical Report 2002-3, Kansas State University, Department of Computing and Information Sciences, December 2002.
A Dependently Typed Ambient Calculus - Lhoussaine, Sassone (2003) (9 citations) (Correct)
No context found.
T. Amtoft and J. Wells. Mobile processes with dependent communication types and singleton types for names and capabilities. Technical Report 2002-3, Kansas State University, 2002.
A Dependently Typed Ambient Calculus - Edric Lhoussaine And (2003) (9 citations) (Correct)
No context found.
T. Amtoft and J. Wells. Mobile processes with dependent communication types and singleton types for names and capabilities. Technical Report 2002-3, Kansas State University, 2002.
Unknown - Ist- Dynamic Assembly (Correct)
No context found.
Torben Amtoft and J. B. Wells. Mobile processes with dependent communication types and singleton types for names and capabilities. Technical Report 2002-3, Kansas State University, Department of Computing and Information Sciences, December 2002.
A Dependently Typed Ambient Calculus - Lhoussaine, Sassone (2003) (9 citations) (Correct)
No context found.
T. Amtoft and J. Wells. Mobile processes with dependent communication types and singleton types for names and capabilities. Technical Report 2002-3, Kansas State University, 2002.
A Dependently Typed Ambient Calculus - Lhoussaine, Sassone (2003) (9 citations) (Correct)
No context found.
T. Amtoft and J. Wells. Mobile processes with dependent communication types and singleton types for names and capabilities. Technical Report 2002-3, Kansas State University, 2002.
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