First Page | Document Content | |
---|---|---|
Date: 2013-07-01 16:26:25 | On Context Bisimulation for Parameterized Higher-order Processes Xian Xu East China University of Science and Technology June, 2013Add to Reading ListSource URL: www.cs.unibo.itDownload Document from Source WebsiteFile Size: 92,97 KBShare Document on Facebook |