@inproceedings{75263d638aa140dab4f75b67a20919a3,
title = "A Runtime Transformation Method for Distributed Systems",
abstract = "This paper presents a formal model of runtime program transformation to optimize concurrent processes during executions for distributed systems. A model of distributed systems based on linear logic is presented. Each of sites in a distributed system that communicates with its environments is represented using a multiset of formulas with a directed acyclic graph. It is possible to represent local names that their scope are not nested in a site in the model. Local names with overlapping scopes make possible to folding transformation of process definitions for runtime program transformation.",
author = "Masaki Murakami",
year = "2003",
month = dec,
day = "1",
language = "English",
isbn = "193241519X",
series = "Proceedings of the International Conference on Software Engineering Research and Practise",
pages = "119--125",
editor = "B. Al-Ani and H.R. Arabnia and Y. Mun and B. Al-Ani and H.R. Arabnia and Y. Mun",
booktitle = "Proceedings of the International Conference on Software Engineering Research and Practise. SERP 2003",
note = "Proceedings of the International Conference on Software Engineering Research and Practise. SERP 2003 ; Conference date: 23-06-2003 Through 26-06-2003",
}