The meaning of concurrent programs

Details The meaning of concurrent programs The meaning of concurrent programs

2008-10-07

arxiv.org/abs/0810.1316v1

Computer Science

Discrete Mathematics

Technical report on using recursive functions for the low level semantics of concurrent systems

Scientific paper

The semantics of assignment and mutual exclusion in concurrent and
multi-core/multi-processor systems is presented with attention to low level
architectural features in an attempt to make the presentation realistic.
Recursive functions on event sequences are used to define state dependent
functions and variables in ordinary (non-formal-method) algebra.

Affiliated with

Also associated with

No associations

Rating

The meaning of concurrent programs 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 The meaning of concurrent programs, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and The meaning of concurrent programs will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-29329