Concurrent Composition and Algebras of Events, Actions, and Processes

Details Concurrent Composition and Algebras of Events, Actions, and Processes Concurrent Composition and Algebras of Events, Actions, and Processes

2008-03-21

arxiv.org/abs/0803.3099v1

Computer Science

Logic in Computer Science

Scientific paper

There are many different models of concurrent processes. The goal of this work is to introduce a common formalized framework for current research in this area and to eliminate shortcomings of existing models of concurrency. Following up the previous research of the authors and other researchers on concurrency, here we build a high-level metamodel EAP (event-action-process) for concurrent processes. This metamodel comprises a variety of other models of concurrent processes. We shape mathematical models for, and study events, actions, and processes in relation to important practical problems, such as communication in networks, concurrent programming, and distributed computations. In the third section of the work, a three-level algebra of events, actions and processes is constructed and studied as a new stage of algebra for concurrent processes. Relations between EAP process algebra and other models of concurrency are considered in the fourth section of this work.

Affiliated with

Also associated with

No associations

Rating

Concurrent Composition and Algebras of Events, Actions, and Processes 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 Concurrent Composition and Algebras of Events, Actions, and Processes, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Concurrent Composition and Algebras of Events, Actions, and Processes will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-586966