Information and Computation,volume 161,issue 1  (08-2004)

Period of time： 2004年1期

Publisher： Academic Press

Founded in： 1957

Total resources： 79

ISSN： 0890-5401

Subject： O Mathematical Sciences and Chemical

Favorite

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 161,issue 1

Menu

Type Reconstruction for Linear π-Calculus with I/O Subtyping

By Igarashi A.,Kobayashi N. in (2000)

Information and Computation,volume 161,issue 1 , Vol. 161, Iss. 1, 2000-08 , pp. 1-44 (44)

Academic Press

Abstract Access to resources Recommend Favorite

A Timed Concurrent Constraint Language

By de Boer F.S.,Gabbrielli M.,Meo M.C. in (2000)

Information and Computation,volume 161,issue 1 , Vol. 161, Iss. 1, 2000-08 , pp. 45-83 (39)

Academic Press

Abstract Access to resources Recommend Favorite

Papers to Appear in Forthcoming Issues

By in (2000)

Information and Computation,volume 161,issue 1 , Vol. 161, Iss. 1, 2000-08 , pp. 84-84 (1)

Academic Press

Abstract Access to resources Recommend Favorite

Total 3 item(s)