Chapter 2 used a simple yet highly practical model to introduce the main ideas behind the QPLEX calculus. In Part I, we develop an abstraction of this calculus and show that it applies to a wide variety of models. This chapter presents our terminology and definitions that form the foundation for the developments in this part.

错误:搜索内容不能为空,请输入英文关键词
错误:关键词超出字数限制,请精简
高级检索

Introduction to QPLEX Modeling and Calculus

  • Antonius B. Dieker,
  • Steven T. Hackman

摘要

Chapter 2 used a simple yet highly practical model to introduce the main ideas behind the QPLEX calculus. In Part I, we develop an abstraction of this calculus and show that it applies to a wide variety of models. This chapter presents our terminology and definitions that form the foundation for the developments in this part.