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

      Stepwise Development of Peer-to-Peer Systems

      ,

      6th International Workshop on Formal Methods (FM)

      Formal Methods

      11 July 2003

      stepwise, peer-to-peer, action systems, specification, Gnutella

      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

          Peer-to-peer systems like Napster, Gnutella and Kazaa have recently become popular for sharing information. In this paper, we show how to design peer-to-peer systems within the action systems framework by combining UML diagrams. We present our approach via a case study of stepwise development of a Gnutella-like peer-to-peer system.

          Related collections

          Most cited references 3

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

          P2P networking: an information sharing alternative

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

            An action system approach to the steam boiler problem

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

              Specifying the Caltech asynchronous microprocessor

                Bookmark

                Author and article information

                Contributors
                Conference
                July 2003
                July 2003
                : 1-16
                Affiliations
                Turku Centre for Computer Science (TUCS) and

                Department of Computer Science, Åbo Akademi University,

                FIN-20520 Turku, Finland
                Article
                10.14236/ewic/IWFM2003.4
                © Lu Yan et al. Published by BCS Learning and Development Ltd. 6th International Workshop on Formal Methods, Dublin City University, Ireland

                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/

                6th International Workshop on Formal Methods
                FM
                6
                Dublin City University, Ireland
                11 July 2003
                Electronic Workshops in Computing (eWiC)
                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