Period of time： 2004年2期
Publisher： Academic Press
Founded in： 1957
Total resources： 79
ISSN： 0890-5401
Subject： O Mathematical Sciences and Chemical
Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.
Information and Computation,volume 177,issue 2
Menu
Access to resources
Recommend
A Type System for Lock-Free Processes
Information and Computation,volume 177,issue 2 , Vol. 177, Iss. 2, 2002-09 , pp.Types for the Ambient Calculus
By Cardelli L.,Ghelli G.,Gordon A.D. in (2002)
Information and Computation,volume 177,issue 2 , Vol. 177, Iss. 2, 2002-09 , pp.Mobile Objects as Mobile Processes
By Merro M.,Kleist J.,Nestmann U. in (2002)
Information and Computation,volume 177,issue 2 , Vol. 177, Iss. 2, 2002-09 , pp.