Blog
About

128
views
0
recommends
+1 Recommend
1 collections
    4
    shares
      • Record: found
      • Abstract: found
      • Conference Proceedings: found
      Is Open Access

      A Generic Model for State-based Agent Systems

      ,

      Proceedings of the 1st Irish Workshop on Formal Methods (FM)

      Irish Workshop on Formal Methods

      3-4 July 1997

      Read this article at

      Bookmark
          There is no author summary for this article yet. Authors can add summaries to their articles on ScienceOpen to make them more accessible to a non-specialist audience.

          Abstract

          This paper presents a framework for modelling state-based agent systems. Agents are state-based entities in a possibly distributed environment. We will in particular address problems that arise when aspects of locality and shared objects have to be dealt with. The Irish School of Constructive Mathematics CM♣ provides an algebraic framework based on group theory and recursion theory. Monoids are used to model the foundations of state-based systems: states and state change. It offers extensivemethodologicalmeans to develop and verify specifications of distributed, state-based systems.

          This paper is an investigation into structural and consistency aspects of dynamically evolving systems under consideration of locality and sharing. A model is presented which preserves the integrity of such systems by providing operators with appropriate algebraic properties.

          Related collections

          Most cited references 5

          • Record: found
          • Abstract: not found
          • Article: not found

          A calculus of mobile processes, I

            Bookmark
            • Record: found
            • Abstract: not found
            • Article: not found

            A calculus of mobile processes, II

              Bookmark
              • Record: found
              • Abstract: not found
              • Book Chapter: not found

              Logics of Programs

                Bookmark

                Author and article information

                Conference
                September 1997
                September 1997
                : 1-14
                Affiliations
                Department of Computer Science, University of Dublin, Trinity College

                Dublin 2, Ireland
                Department of Information Technology, Technical University of Denmark

                2800 Lyngby, Denmark
                Article
                10.14236/ewic/FM1997.5
                © Arthur P. Hughes et al. Published by BCS Learning and Development Ltd. Proceedings of the 1st Irish Workshop on Formal Methods, Dublin

                This work is licensed under a Creative Commons Attribution 4.0 Unported License. To view a copy of this license, visit http://creativecommons.org/licenses/by/4.0/

                Proceedings of the 1st Irish Workshop on Formal Methods
                FM
                1
                Dublin
                3-4 July 1997
                Electronic Workshops in Computing (eWiC)
                Irish Workshop on Formal Methods
                Product
                Product Information: 1477-9358BCS Learning & Development
                Self URI (journal page): https://ewic.bcs.org/
                Categories
                Electronic Workshops in Computing

                Comments

                Comment on this article