technical report: Mobile Processes with Dependant Communication Types and Singleton Types for Names and Capabilities

Research output: Book/Report › Other report

Original language	English
Publisher	Kansas State University, Department of Computing and Information Sciences
Publication status	Published - Dec 2002

Cite this

@book{3846ab61761941d3b0c1fac30ce19d65,

title = "technical report: Mobile Processes with Dependant Communication Types and Singleton Types for Names and Capabilities",

author = "T Amtoft and Wells, \{Joseph Brian\}",

year = "2002",

month = dec,

language = "English",

publisher = "Kansas State University, Department of Computing and Information Sciences",

}

TY - BOOK

T1 - technical report: Mobile Processes with Dependant Communication Types and Singleton Types for Names and Capabilities

AU - Amtoft, T

AU - Wells, Joseph Brian

PY - 2002/12

Y1 - 2002/12

M3 - Other report

BT - technical report: Mobile Processes with Dependant Communication Types and Singleton Types for Names and Capabilities

PB - Kansas State University, Department of Computing and Information Sciences

ER -