Modelling Concurrent Behaviors in the Process Specification Language
classification
💻 cs.AI
keywords
ontologylanguageprocessspecificationtheorybehaviorsclassifyconcurrent
read the original abstract
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.
This paper has not been read by Pith yet.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.