Dissertation 

About 47 item dissertation in line with process algebra query results,the following is 1 to 50(Search took 0.071 seconds)

  1. The Research of Process Improvement Control Based on ARIS in the Construction of Enterprise System,ZhangZuo/Shenyang University of Technology,0/24
  2. Research on Several Issues of Workflow,ZuoYiFan/Nanjing University of Aeronautics and Astronautics,0/35
  3. Diagnosis of the deviation from the software process behavior based on EPMM modeling,ZhuRui/Yunnan University,0/2
  4. Action Refinement Theory with Quantitative Constraints,ZhengGuang/Lanzhou University,0/135
  5. Research on Formal Methods for Safe Software Architecture,YangJie/Wuhan University,4/986
  6. Research on Key Technology of Networkonvergence,XueHaiQiang/Beijing University of Posts and Telecommunications,0/667
  7. Research on Process Network Based Cooperative Computation Model of Services,ZhangXiuGuo/Dalian Maritime University,8/456
  8. Model Checking Methods for Value-Passing and Mobile Processes,LiuJian/Institute of Software,5/323
  9. Study of Real-time Value-passing and Real-time Mobile Systems,ChenJing/Institute of Software,4/176
  10. Study of Formal Model of Web Services Composition,GuXiWu/Huazhong University of Science and Technology,5/921
  11. Dynamic semantics of UML in the form of sub-graph,ZhaoYeFei/East China Normal University,3/321
  12. Research on the Key Issues of Customized Business Process,YaoQing/Shandong University,0/470
  13. The Approximate Correctness of Software and the Measure Model of Interaction between Software and Environment,MaYanFang/East China Normal University,1/146
  14. Research of Web Service Composition Based on Pi-Calculus,LiDeSheng/Beijing University of Posts and Telecommunications,0/158
  15. Research on Formal Methods of Web Service Data and Service Composition Based on Process Algebra,LongHuiYun/Guizhou University,0/270
  16. The Research on Virtual Machine Based-on Xen,MengJiangTao/University of Electronic Science and Technology,0/965
  17. Research on Theory and Application of Access Control Based on Resources,WangLiSong/Nanjing University of Aeronautics and Astronautics,0/110
  18. Research on Modeling and Verification of QoS-Oriented Web Services Composition,XiaoFangXiong/Nanjing University of Aeronautics and Astronautics,4/379
  19. Research on Transforming Requirements Specification to Software Architecture Models of Embedded Software,ZhuYi/Nanjing University of Aeronautics and Astronautics,1/264
  20. Models and Formalization of Concurrent Real-time Systems,ChenYan/Guangxi Normal University,3/89
  21. Research on Modeling of Workflow Development Platform Based on XML,ZhangRan/Central China Normal University,2/125
  22. Research on a Formal Model of Web Services,DingXiaoBo/Nanjing University of Aeronautics and Astronautics,0/239
  23. Process algebra in the workflow application,ChenHaiLin/Huaqiao University,0/141
  24. Research on Model Checking of Concurrent System Based on Partial-order Reduction,WangZuo/Northwestern University,2/155
  25. Research on Network Service Modelling-The SIP Modelling,XueHaiLi/University of North,0/63
  26. Form of description technology LOTOS and , and its extensions and applications in real-time systems,LiYiChang/Guangdong University of Technology,0/141
  27. Event-based Structural Operational Semantics of Verilog,ZhaoHongBin/Lanzhou University,0/123
  28. STE Verification Method for Concurrent Behaviors in Digital Circuit,ZhangXiuXiu/Lanzhou University,5/30
  29. Research on Security Protocol Analysis Technique Based on Extended CSP Model,AnJing/PLA Information Engineering University,0/111
  30. The Verification of Symbolic Bisimulations in Asymmetric X~≠-Calculus,HuangYinQiang/Zhejiang Normal University,0/21
  31. Metric Denotational Semantics for Probabilistic Process Algebra,ZengQiong/Chengdu Institute of Computer Applications,0/97
  32. Key Techniques Research and Implementation of Secure Communication Protocol Based on Trusted Platform,LiuTongBo/National University of Defense Science and Technology,3/561
  33. Research on Concurrent System Modeling and Model Checking Based on Process Algebra,YangZuo/Northwestern University,5/265
  34. Research on λ-bisimulation,ZhangJinJin/Nanjing University of Aeronautics and Astronautics,1/57
  35. Formal language RT-Z in real-time systems integration and application,WuYuQiong/Guangdong University of Technology,2/135
  36. An Extended Symbolic Model for Concurrent Value-passing Processes,DengWeiJia/Institute of Software,0/91
  37. Study on Workflow Modeling and Analysis Based on Petri Nets,QuYang/Tsinghua University,8/815
  38. Weak Bisimulation Properties of a Higher-Order Process Algebra,ZhangYan/Nanjing University of Aeronautics and Astronautics,0/38
  39. A Preliminary Study for Event Structure of Concurrency System,HeYanZuo/Lanzhou University,0/95
  40. Extension of Mobile Ambients and Its Implementation for the Lexical Analysis Program,LiJiaQin/Jilin University,0/19
  41. Member of the dynamical evolution of behavioral consistency,MaChuan/Yanshan University,0/71
  42. Research on QoS Evaluation and Service Selection in Web Service Composition,ZhangXuYun/Nanjing University,0/136
  43. Research on Process Calculus with Distance-Limited Communication,WuYanPing/Nanjing University of Aeronautics and Astronautics,1/20
  44. Concurrent generalized symbolic trajectory assignment,XuZhongLin/University of Electronic Science and Technology,0/6
  45. Informationization Modeling and Simulation Based on Process Algebra,YuJinFeng/Harbin Engineering University,1/36
  46. Modeling Service-Oriented Architecture Based on Process Algebra,LiHui/Northeastern University,1/55
  47. Design and Implementation of Algorithms for Checking Bisimilarity,WengJingYing/Shanghai Jiaotong University,0/36

Total 1 Pages First Previous 1 Next Last

© 2012 www.DissertationTopic.Net  Mobile