Meadow enriched ACP process algebras

Details Meadow enriched ACP process algebras Meadow enriched ACP process algebras

2009-01-20

arxiv.org/abs/0901.3012v2

Mathematics

Rings and Algebras

8 pages; correction in Table 3

Scientific paper

We introduce the notion of an ACP process algebra. The models of the axiom system ACP are the origin of this notion. ACP process algebras have to do with processes in which no data are involved. We also introduce the notion of a meadow enriched ACP process algebra, which is a simple generalization of the notion of an ACP process algebra to processes in which data are involved. In meadow enriched ACP process algebras, the mathematical structure for data is a meadow.

Affiliated with

Also associated with

No associations

Rating

Meadow enriched ACP process algebras 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 Meadow enriched ACP process algebras, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Meadow enriched ACP process algebras will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-434883