TY - GEN
T1 - Congruence results of weak equivalence for a graph rewriting model of concurrent programs with higher-order communication
AU - Murakami, Masaki
PY - 2011/7/12
Y1 - 2011/7/12
N2 - This paper presents congruence results of a weak equivalence on a graph rewriting model of concurrent processes with higher-order communication. A bipartite directed acyclic graph represents a concurrent system that consists of a number of processes and messages in our model. The model presented here makes it possible to represent local names that their scopes are not nested. We show that weak bisimulation equivalence is a congruence relation w.r.t. operations that correspond to τ-prefix, input prefix, new-name, replication, composition and application respectively.
AB - This paper presents congruence results of a weak equivalence on a graph rewriting model of concurrent processes with higher-order communication. A bipartite directed acyclic graph represents a concurrent system that consists of a number of processes and messages in our model. The model presented here makes it possible to represent local names that their scopes are not nested. We show that weak bisimulation equivalence is a congruence relation w.r.t. operations that correspond to τ-prefix, input prefix, new-name, replication, composition and application respectively.
UR - http://www.scopus.com/inward/record.url?scp=79960032162&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=79960032162&partnerID=8YFLogxK
U2 - 10.1007/978-3-642-21153-9_16
DO - 10.1007/978-3-642-21153-9_16
M3 - Conference contribution
AN - SCOPUS:79960032162
SN - 9783642211522
T3 - Communications in Computer and Information Science
SP - 171
EP - 180
BT - Advances in Wireless, Mobile Networks and Applications - International Conferences WiMoA 2011 and ICCSEA 2011, Proceedings
T2 - 3rd International Conference on Wireless, Mobile Networks and Applications, WiMoA 2011 and the 1st International Conference on Computer Science, Engineering and Applications, ICCSEA 2011
Y2 - 25 May 2011 through 27 May 2011
ER -