Using message-passing model, develo

Using message-passing model, develop a program by which processes P and Q exchange integers, so that eventually every element of A is greater than every element of B. Present a correctness proof of your program.

Результаты (русский) 1:

Используя модель передачи сообщений, разработать программу процессов P и Q exchange целые числа, так что в конечном итоге каждый элемент A больше, чем каждый элемент настоящее время б. правильность доказательство вашей программы.

Результаты (русский) 2:

С помощью передачи сообщений модель, разработать программу, которая обрабатывает P и обмена Q целые числа, так что в конце концов каждый элемент больше, чем каждый элемент B. Представить доказательство корректности вашей программы.

Результаты (русский) 3:

с помощью передачи сообщений модели, разработать программу, в которой процессы, p и q обмен целые, так что, в конечном счете, каждый элемент - это больше, чем каждый элемент в. настоящего корректность доказательство вашей программы.