Формальные подходы к описанию процессов в распределенных системах. Как, например, описать репликации. Рассматриваются следующие языки (Miscrosoft Research): TLA+ и PlusCal
P.S. вот еще интересная дискуссия по этой теме.
No comments:
Post a Comment