位置：成果数据库 > 会议 > 会议详情页
Process calculus with data structure and its model checking algorithm
  • 所属机构名称：南京航空航天大学
  • 成果类型：会议
  • 相关项目：高阶进程演算的互模拟研究
同会议论文项目
高阶进程演算的互模拟研究
期刊论文 12 会议论文 16 著作 2
同项目会议论文
Branching bisimulations for higher order π-calculus
A true concurrent process calculus and its conflict bisimulation
Model checking interval probabilistic timed automata
Bisimulations for Open Processes in Higher Order π-calculus
An MDE Based Approach for Generating Software Architecture Models from Formal Specifications
Model Checking LOOP Programs
Temporal Logics and Model Checking Algorithms for ZIA
Refinement Checking for Interface Automata with Z Notation
On the Operational Semantics of a Higher Order Safe Ambients Calculus
On the controller synthesis for Markov decision process of conflict tolerant specification.
Modeling Cost-Aware Web Services Composition Using PTCCS
Reducing Higher Order pi-Calculus to Spatial Logics
Distributed viewpoint equivalences for higher order processes
Extending Interface Automata with Z Notation
Hybrid ZIA and Its Approximated Refinement Relation