mCRL2

Оглавление1 MCRL21.1 Обзор mCRL21.2 Разработка и рекомендации1.3 Примеры использования1.4 ISBN и внешние ссылки1.5 Полный текст статьи:2 mCRL2 — Википедия MCRL2 […]

MCRL2

  • Обзор mCRL2

    • mCRL2 – язык для описания параллельных систем событий 
    • Включает инструменты для моделирования, анализа и визуализации 
    • Основан на алгебре процессов и абстрактных данных с функциями высокого порядка 
  • Разработка и рекомендации

    • Создан Яном Фризо Гроотом, разрабатывается в Технологическом университете Эйндховена 
    • Рекомендации по моделированию и анализу систем предоставлены Гроотом и Мусави 
  • Примеры использования

    • Примеры идентификаторов и блоков блокировки с различными стилями и размерами 
    • Примеры форматирования библиографического описания и ошибок в HTML 
  • ISBN и внешние ссылки

    • Упомянут ISBN книги, содержащей рекомендации 
    • Указан веб-сайт mCRL2 для дополнительной информации 

Полный текст статьи:

mCRL2 — Википедия

Оставьте комментарий

Прокрутить вверх