Modelling Concurrency with Comtraces and Generalized Comtraces

Details Modelling Concurrency with Comtraces and Generalized Comtraces Modelling Concurrency with Comtraces and Generalized Comtraces

2009-07-10

arxiv.org/abs/0907.1722v5

Computer Science

Logic in Computer Science

49 pages

Scientific paper

10.1016/j.ic.2011.08.001

Comtraces (combined traces) are extensions of Mazurkiewicz traces that can model the "not later than" relationship. In this paper, we first introduce the novel notion of generalized comtraces, extensions of comtraces that can additionally model the "non-simultaneously" relationship. Then we study some basic algebraic properties and canonical reprentations of comtraces and generalized comtraces. Finally we analyze the relationship between generalized comtraces and generalized stratified order structures. The major technical contribution of this paper is a proof showing that generalized comtraces can be represented by generalized stratified order structures.

Affiliated with

Also associated with

No associations

Rating

Modelling Concurrency with Comtraces and Generalized Comtraces 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 Concurrency with Comtraces and Generalized Comtraces, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Modelling Concurrency with Comtraces and Generalized Comtraces will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-163972