Парадокс кратных миров Конкурентной динамической логики

Ю.В. Нечитайлов

Research output: Contribution to journalArticle

Abstract

Сформулирован парадокс кратных миров Конкурентной динамической логики. Он может несколько ограничить область применения Конкурентной динамической логики в качестве средства рассуждения о выполнении программ, которое может свестись, по крайней мере, до независимых атомарных программ, которые не образуют взаимодействующие параллельные сложные процессы.
Original languageEnglish
Pages (from-to)246-252
JournalЛогико-философские штудии
Volume13
Issue number2
StatePublished - 2016
Externally publishedYes

Keywords

  • Парадокс кратных миров
  • конкурентная динамическая логика
  • взаимодействующие процессы
  • параллельные вычисления.

Cite this