A multiple world paradox of the Concurrent dynamic logic
Copyright policy )A multiple world paradox of the Concurrent dynamic logic
Сформулирован парадокс кратных миров Конкурентной динамической логики. Он может несколько ограничить область применения Конкурентной динамической логики в качестве средства рассуждения о выполнении программ, которое может свестись, по крайней мере, до независимых атомарных программ, которые не образуют взаимодействующие параллельные сложные процессы.
A multiple world paradox of the Concurrent Dynamic Logic is introduced. It may limit the implementation field of the Concurrent Dynamic Logic for the reasoning of the programs. The reasoning might be restricted, at least up to the independent atomic programs which do not form interfering concurrent compound processes.
парадокс кратных миров; конкурентная динамическая логика; взаимодействующие процессы; параллельные вычисления, multiple world paradox; Concurrent Dynamic Logic; interactive processes; parallel processes
парадокс кратных миров; конкурентная динамическая логика; взаимодействующие процессы; параллельные вычисления, multiple world paradox; Concurrent Dynamic Logic; interactive processes; parallel processes
selected citations These citations are derived from selected sources.This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).0 popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network.Average influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).Average impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network.Average
Citations provided by BIP!Popularity provided by BIP!