References
- S. Franklin, A. Graesser, “Is it an agent or just a program?” In: Proceedings of the 3rd International Workshop Agent Theories, Architectures, and Languages. Springer, New York (1996)
- M. Wooldridge, “An Introduction to MultiAgent Systems”, 2nd Edition, John Wiley & Sons Ltd 2009.
- Uwe Wolter, Zinovy Diskin, “The Next Hundred Diagrammatic Specification Techniques, A Gentle Introduction to Generalized Sketches”, 02 September 2015 : https://www.researchgate.net/publication /253963677.
- Zinovy Diskin, “Tom Maibaum- Category Theory and Model-Driven Engineering: From Formal Semantics to Design Patterns and Beyond”, ACCAT 2012
- Michael Barr, Charles Wells, “Category Theory For Computing Science”, Reprints in Theory and Applications of Categories, No. 22, 2012.
- Robin Milner, “The Space and Motion of Communicating Agents”, Cambridge University Press, 2009. ISBN 978-0-521-73833-0
- Hartmut Ehrig, Claudia Ermel, Ulrike Golas, Frank Hermann, “Graph and Model Transformation General Framework and Applications”, Springer-Verlag Berlin Heidelberg 2015
- Olivier Gasquet, Andreas Herzig, Bilal Said, François Schwarzentruber, “Kripke’s Worlds, An Introduction to Modal Logics via Tableaux”, Springer Basel AG 2014.
- J. Luo, JJ. Meyer, M. Knobbout, “Reasoning About Opportunistic Propensity in Multi-agent Systems.” In: Sukthankar, G., Rodriguez-Aguilar, J. (eds) Autonomous Agents and Multiagent Systems. AAMAS 2017. Lecture Notes in Computer Science(), vol 10642. Springer, Cham. https://doi.org/10.1007/978-3-319-71682-4_13
- G. Campbell, “Algebraic graph transformation: A crash course”, Department of Computer Science, University of York, UK, Tech. Rep., 2018. [Online]. Available: https://cdn.gjcampbell.co.uk/2018/Graph-Transformation.pdf.
- G. Campbell, B. Courtehoute and D. Plump, “Linear-time graph algorithms in GP2”, Department of Computer Science, University of York, UK, Submitted for publication, 2019. [Online]. Available: https://cdn.gjcampbell.co.uk/2019/Linear-Time-GP2-Preprint.pdf.
- David I. Spivak, “Category Theory for the Sciences”, The MIT Press Cambridge, Massachusetts London, England, 2014 Massachusetts Institute of Technology
- J. Ferber, O. Gutknecht and F. Michel, „From Agents to Organizations: An Organizational View of Multi-Agent Systems”, In Proc. 4th International Workshop on Agent-Oriented Software Engineering (AOSE), volume 2935 of LNCS, pages 214–230. Springer, 2003.
- Virginia Dignum, “Handbook of Research on Multi-Agent Systems: Semantics and Dynamics of Organizational Models”, Information Science Reference, 2009 by IGI Global.
- M. Huth, M. Ryan, “Logic in Computer Science, Modelling and Reasoning about Systems”, Published in the United States of America by Cambridge University Press, New York, 2004.
- Y. Shoham, K. Leyton-Brown, “Multiagent systems_algorithmic, game-theoretic, and logical foundations” -Cambridge University Press, 2009.
- Nino B. Cocchiarella and Max A. Freund, “Modal Logic, An Introduction to Its Syntax and Semantics”, Published by Oxford University Press, Inc. 2008
- D.C. Crăciunean, D. Karagiannis, “A categorical model of process cosimulation”, Journal of Advanced Computer Science and Applications(IJACSA), 10(2), (2019).
- D. Gabbay. “Reactive Kripke semantics”, In Proceedings of CompLog 2004, W. Carnielli, ed., pp. 7–20. Centre of Logic and Computation, University of Lisbon, 2004.