TY - GEN
T1 - Run time transformation of concurrent processes using multi dimensional representation of linear logic
AU - Murakami, Masaki
PY - 2000/1/1
Y1 - 2000/1/1
N2 - This paper presents a model of concurrent processes that is an extension of a fragment of linear logic. Processes, messages and definitions of processes are represented using formulas of linear logic. The method presented here models a computation with a formal proof of linear logic. The inference system of linear logic used here consists of rules extended for the new multi dimensional representation of states of system to represent scopes of local names. The multi dimensional representation of system make possible to avoid the inconvenience of inferences arise from scopes of local names. This paper presents rules to represent run time transformation of process definitions as an application of the multi dimensional representation.
AB - This paper presents a model of concurrent processes that is an extension of a fragment of linear logic. Processes, messages and definitions of processes are represented using formulas of linear logic. The method presented here models a computation with a formal proof of linear logic. The inference system of linear logic used here consists of rules extended for the new multi dimensional representation of states of system to represent scopes of local names. The multi dimensional representation of system make possible to avoid the inconvenience of inferences arise from scopes of local names. This paper presents rules to represent run time transformation of process definitions as an application of the multi dimensional representation.
UR - http://www.scopus.com/inward/record.url?scp=84949814454&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=84949814454&partnerID=8YFLogxK
U2 - 10.1109/ISPSE.2000.913243
DO - 10.1109/ISPSE.2000.913243
M3 - Conference contribution
AN - SCOPUS:84949814454
T3 - International Workshop on Principles of Software Evolution (IWPSE)
SP - 226
EP - 230
BT - Proceedings - International Symposium on Principles of Software Evolution, ISPSE 2000
PB - Institute of Electrical and Electronics Engineers Inc.
T2 - International Symposium on Principles of Software Evolution, ISPSE 2000
Y2 - 1 November 2000 through 2 November 2000
ER -