Streaming Transfer of Mobile Programs in First Order Linear Logic

Research output: Contribution to journalArticle

Cite this

@article{30840689850f4cc2b6ccbdd76c5a74d4,
title = "Streaming Transfer of Mobile Programs in First Order Linear Logic",
author = "Masaki Murakami",
year = "2004",
language = "English",
pages = "275--280",
journal = "Proc. of 10th Int. Conf. on Information System Analysis and Synthesis and Int. Conf. on Cybernetics and Information Technologies, Systems and Application, 2004",

}

TY - JOUR

T1 - Streaming Transfer of Mobile Programs in First Order Linear Logic

AU - Murakami, Masaki

PY - 2004

Y1 - 2004

M3 - Article

SP - 275

EP - 280

JO - Proc. of 10th Int. Conf. on Information System Analysis and Synthesis and Int. Conf. on Cybernetics and Information Technologies, Systems and Application, 2004

JF - Proc. of 10th Int. Conf. on Information System Analysis and Synthesis and Int. Conf. on Cybernetics and Information Technologies, Systems and Application, 2004

ER -