摘要
In the context of process calculi, higher order π calculus （A calculus） is prominent and popular due to its ability to transfer processes. Motivated by the attempt to study the process theory in an integrated way, we give a system study of A calculus with respect to the model independent framework. We show the coincidence of the context bisimulation to the absolute equality. We also build a subbisimilarity relation from A calculus to the π calculus.
In the context of process calculi,higher orderπcalculus(A calculus) is prominent and popular due to its ability to transfer processes.Motivated by the attempt to study the process theory in an integrated way,we give a system study of A calculus with respect to the model independent framework.We show the coincidence of the context bisimulation to the absolute equality.We also build a subbisimilarity relation from A calculus to the n calculus.
基金
the National Natural Science Foundation of China(Nos.61033002,60903020,61202023)
the Science and Technology Commission of Shanghai Municipality(No.11XD1402800)
