过程规约语言中的并发行为建模
Modelling Concurrent Behaviors in the Process Specification Language
University of Toronto（多伦多大学）
摘要：
本文提出了广义分层序结构的一阶本体。然后，我们分类的理论模型，使用模型理论的技术。讨论了该本体到过程规约语言核心理论的本体映射。
英文摘要：
In this paper, we propose a first-order ontology for generalized stratified order structure. We then classify the models of the theory using model-theoretic techniques. An ontology mapping from this ontology to the core theory of Process Specification Language is also discussed.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
