Видел ли кто-нибудь классификацию(или хотя бы перечень) моделей параллельного программирования и их реализаций?( книги\статьи \диссертации\блоги\)

Только я имею ввиду именно модели программирования, а не классификацию параллельных архитектур (нпр. по Флинну — SIMD\MIMD\...).
Т.е. нпр:

• CSP Hoare\Ada rendezvous\Active object\Actors\Futures...
  
• Message Passing\Shared Memory
  
• Synchronous\Asynchronous
  
• Erlang-style\ConcurrentML-style\Ada-style\C#-style\MC#-style\...
  
• ...

При этом языков так или иначе поддерживающих параллелизм полно(и было и есть)... Думаю, что однородной(одномерной) классификации моделей может и не быть(слишком много критериев), в идеале, наверное, хотелось бы получить либо несколько одномерных классификаций(по одному критерию), либо многомерную.

На RSDN нашёл только вот это:
Цитата

Автор: Lazy Cjow Rhrr
Дата: 12.12.06

из Martin Odersky "Tackling Concurrency — Language or Library?"
Ссылка

Автор:
Дата: 13.07.06

на обзор курса по формальным моделям параллельного программирования.

Более менее что-то похожее на классификацию моделей нашёл в Птолемее, но там мало...

Единственное непосредственно по теме нашёл на citeseer — Models for Concurrency: Towards a Classification (1996), но уж больно громоздкая статья, конечно за неимением лучшего, начну с неё

Спасибо.

p.s. интерес больше теоретический(для обзора в бакалаврской работе нужно), хотя понятно, что модели — есть суть основа практического использования параллелизма(скажем для создания новых ЯП).
p.p.s
В Гугле\ http://citeseer.ist.psu.edu\ http://arxiv.org искал, доступа к IEEE Digital Lib и ACM к сожалению нет. Использовал следующие кейворды — classification|breakdown of concurrent|parallel programming models

У последовательного программирования были Тьюринг, Чёрч, частично-рекурсивные функции, а у параллельного что? Фига с маслом?

Здравствуйте, Didro, Вы писали:

D>У последовательного программирования были Тьюринг, Чёрч, частично-рекурсивные функции, а у параллельного что? Фига с маслом?

Если ты о теоретических основах, то есть несколько подходов, один из которых — пи-исчисление, среди авторов которого Робин Милнер (автор ML и имя которого в системе Хиндлер-Милнера)

К>Если ты о теоретических основах, то есть несколько подходов, один из которых — пи-исчисление, среди авторов которого Робин Милнер (автор ML и имя которого в системе Хиндлер-Милнера)

Ну и вообще в википедии много инфы по этой тебе, хотябы вот здесь

Здравствуйте, Курилка, Вы писали:

К>Ну и вообще в википедии много инфы по этой тебе, хотябы вот здесь

Спасибо, про Wiki я и забыл...

Здравствуйте, Didro, Вы писали:

D>Видел ли кто-нибудь классификацию(или хотя бы перечень) моделей параллельного программирования и их реализаций?( книги\статьи \диссертации\блоги\)

Есть отличная книга, CTM:
Concepts, Techniques, and Models of Computer Programming
И к счастью ее бесплатный драфт до сих пор лежит в интернете :
http://www.ulb.ac.be/di/rwuyts/INFO020_2003/vanRoyHaridi2003-book.pdf

Здравствуйте, z00n, Вы писали:

Z>Есть отличная книга, CTM:
Z>Concepts, Techniques, and Models of Computer Programming
Z>И к счастью ее бесплатный драфт до сих пор лежит в интернете :
Z>http://www.ulb.ac.be/di/rwuyts/INFO020_2003/vanRoyHaridi2003-book.pdf

Спасибо.
Кстати на вот здесь есть её хороший обзор .