TY - GEN
T1 - A graph rewriting model of concurrent programs with higher-order communication
AU - Murakami, Masaki
PY - 2008/12/1
Y1 - 2008/12/1
N2 - This paper presents a formal model of concurrent systems with higher-order communication to transfer program codes as data between processes. A number of models [1, 9] are reported as models of higher-order communication and most of them are based on process algebra. However as we reported [7], it is not easy to represent the scopes of names of communication channels precisely using process algebra. We present a model of concurrent programs with higher order communication that can represent the scopes of names precisely. The model presented here is an extension of the model reported in [7] that is based on graph rewriting. We define the equivalence relation such that if the equivalence holds on two programs then they are equivalent not only on their behaviors but on the scopes of names also.
AB - This paper presents a formal model of concurrent systems with higher-order communication to transfer program codes as data between processes. A number of models [1, 9] are reported as models of higher-order communication and most of them are based on process algebra. However as we reported [7], it is not easy to represent the scopes of names of communication channels precisely using process algebra. We present a model of concurrent programs with higher order communication that can represent the scopes of names precisely. The model presented here is an extension of the model reported in [7] that is based on graph rewriting. We define the equivalence relation such that if the equivalence holds on two programs then they are equivalent not only on their behaviors but on the scopes of names also.
UR - http://www.scopus.com/inward/record.url?scp=84878159974&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=84878159974&partnerID=8YFLogxK
M3 - Conference contribution
AN - SCOPUS:84878159974
SN - 9781615677207
T3 - International Conference on Theoretical and Mathematical Foundations of Computer Science 2008, TMFCS 2008
SP - 80
EP - 87
BT - International Conference on Theoretical and Mathematical Foundations of Computer Science 2008, TMFCS 2008
T2 - 2008 International Conference on Theoretical and Mathematical Foundations of Computer Science, TMFCS 2008
Y2 - 7 July 2008 through 10 July 2008
ER -