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

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

Аннотация


Сформулирован парадокс кратных миров Конкурентной динамической логики. Он может несколько ограничить область применения Конкурентной динамической логики в качестве средства рассуждения о выполнении программ, которое может свестись, по крайней мере, до независимых атомарных программ, которые не образуют взаимодействующие параллельные сложные процессы.

Полный текст:

PDF

Литература


Alur, R., Henzinger, T.A., Kupferman, O., 1997, “Alternating-time Temporal Logic” in Proceedings of 38th IEEE Symposium on Foundationsof Computer Science, Florida, 100–109

Baeten, J.C.M., Verhoef, C., 1995, “Concrete process algebra” in Abramsky, S., Gabbay, Dov M., and Maibaum, T.S.E., (eds.) Handbook of Logic in Computer Science, Volume 4, Semantic Modelling, Clarendon Press, London, 149–268.

Balbo, G., Desel, J., Jensen, K., Reising, W., Rozenberg, G., Silva, M., 2000, “Petri Nets. Introduction tutorial” 21st International Conference on Application and Theory of Petri Nets, Aarhus, Denmark

Dassow, J., Kelemen, J., Paun, Gh., 1993, “On parallelism in colonies” Cybernetics and Systems, Volume 24, 37–49.

van Ditmarsch, H.P., van der Hoek, W., Kooi, B.P., 2003, “Concurrent Dynamic Epistemic Logic for MAS” in Proceedings of the second international joint conference on Autonomous agents and multiagent systems, Melbourne, Australia, 201–208.

Harel, D., Kozen, D., Tiuryn, J., 2000, “Dynamic Logic” Massachusetts Institute of Technology, The MIT Press

Noriega, P., Sierra, C., 1997 “Towards Layerd Dialogical Agents” in Muller, J.P., Wooldridge, M.J., Jennings, N.R. (Eds.) Intelligent Agents III. Agent Theories, Architectures, and Languages ECAI’96 Workshop (ATAL), Budapest, Hungary, August 12-13, 1996, Proceedings , Vol. 1193, Berlin, Germany, Springer, 173–188.

Paun, Gh., 1995, “Parallel Communicating Grammar Systems. A Survey” C. Martin-Vide (ed.), Lenguajes Naturales y Lenguajes Formales XI, Barcelona, PPU, 257–283.

Paun, Gh., Rozenberg, G., 2002, “A Guide to Membrane Computing” Theoretical Computer Science, Volume 287, Issue 1 Natural Computing, 73–100.

Peleg, D., 1987, “Concurrent Dynamic Logic” Journal of the Association for Computing Machinery, Volume 34, Nomber 2, 450–479.

Rozenberg, G., Salomaa, A., (Editors) 1986, “The Book of L” Springer, Berlin.

Rozenberg, G., Salomaa, A., (Editors) 1992, “Lindenmayer Systems: Impact on Theoretical Computer Science, Computer Graphics and Developmental Biology”, Springer, Berlin7


Ссылки

  • На текущий момент ссылки отсутствуют.




(c) 2016 Ю. В. Нечитайлов

Лицензия Creative Commons
Это произведение доступно по лицензии Creative Commons «Attribution-NonCommercial» («Атрибуция — Некоммерческое использование») 4.0 Всемирная.