Modelling Concurrent Behaviors in the Process Specification Language

Details Modelling Concurrent Behaviors in the Process Specification Language Modelling Concurrent Behaviors in the Process Specification Language

2009-07-16

arxiv.org/abs/0907.2775v1

Computer Science

Artificial Intelligence

Scientific paper

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.

Affiliated with

Also associated with

No associations

Rating

Modelling Concurrent Behaviors in the Process Specification Language does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Modelling Concurrent Behaviors in the Process Specification Language, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Modelling Concurrent Behaviors in the Process Specification Language will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-621398