位置：成果数据库 > 会议 > 会议详情页
Model Checking LOOP Programs
  • 所属机构名称：南京航空航天大学
  • 成果类型：会议
  • 相关项目：高阶进程演算的互模拟研究
同会议论文项目
高阶进程演算的互模拟研究
期刊论文 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
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
Process calculus with data structure and its model checking algorithm
Distributed viewpoint equivalences for higher order processes
Extending Interface Automata with Z Notation
Hybrid ZIA and Its Approximated Refinement Relation