On Context Bisimulation for Parameterized Higher-order Processes Xian Xu ∗ Department of Computer Science and Technology East China University of Science and Technology, Shanghai, China P.Rc

First Page		Document Content
Date: 2013-06-01 06:22:49		On Context Bisimulation for Parameterized Higher-order Processes Xian Xu ∗ Department of Computer Science and Technology East China University of Science and Technology, Shanghai, China P.Rc Add to Reading List Source URL: www.cs.unibo.it Download Document from Source Website File Size: 157,08 KB Share Document on Facebook