Парадокс кратных миров Конкурентной динамической логики
Аннотация
Полный текст:
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 «Attribution-NonCommercial» («Атрибуция — Некоммерческое использование») 4.0 Всемирная.