JetBrains Research — наука, меняющая мир

Структуры событий и семантика истинной конкурентности для CCS

Традиционный подход к моделированию конкурентности и параллелизма это использование операционных семантик с чередованием (interleaving semantics). То есть поведение нескольких параллельных процессов определяется как чередование их атомарных действий. Такой подход прост и интуитивно понятен, но имеет множество недостатков. Рассуждения в терминах чередования инструкций трудны как для человека, так и для компьютера. Кроме того, такие семантики не композиционалены, т.е. не позволяет рассуждать о поведении программы исходя из поведения её подпрограмм.

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

На семинаре мы рассмотрим структуры событий — один из традиционных доменов в теории истинно конкурентных семантик. Также, на примере исчисления взаимодействующих систем (calculus of communicating systems, CCS), мы покажем как структуры событий позволяют задать денотационную (композициональную) семантику для конкурентного языка.

Докладчик: Евгений Моисеенко

Материалы:

Winskel G. Event structure semantics for CCS and related languages //International Colloquium on Automata, Languages, and Programming. – Springer, Berlin, Heidelberg, 1982. – С. 561-576.

Winskel G. Event structures //Advanced Course on Petri Nets. – Springer, Berlin, Heidelberg, 1986. – С. 325-392.

Семинар пройдет онлайн 30 ноября в 17:30, ссылка Google meet: https://meet.google.com/myu-dhmz-gvu