Запитання з тегом «process-algebras»

Наскільки мені відомо, є три основні алгебри процесів, які надихнули на широкий спектр досліджень формальних моделей паралельності. Це: CCS і розрахунок обох Робіна Мілнераππ\pi CSP від ​​Тоні Хоара та ACP Яна Бергстра та Яна Віллема Клопа Всі троє, здається, мають до цього часу досить активних наступних досліджень і на них …

21 logic  concurrency  process-algebras 

Дана мічена система переходу , де - це набір станів, - це набір міток, а - потрійне відношення. Як завжди, запишіть for . Позначений перехід позначає, що система в стані змінює стан на з міткою , це означає, що - деяка спостерігається дія, яка викликає зміну стану.(S,Λ,→)(S,Λ,→)(S,\Lambda,\to)SSSΛΛ\Lambda→⊆S×Λ×S→⊆S×Λ×S\to\subseteq S\times\Lambda\times Sp→αqp→αqp \stackrel\alpha\rightarrow …

20 programming-languages  formal-methods  semantics  process-algebras 

Напій дозатор вимагає, щоб користувач , щоб вставити монету ( ), а потім натисніть одну з трьох кнопок: ˉ d чай просить чашку чаю е чаю , Ditto для кави, а ˉ г вимагає повернення (тобто машина дає назад монета: ˉ б ). Цей дозатор можна моделювати за допомогою наступного …

11 logic  concurrency  modelling  process-algebras  ccs