• TUCS Publication Series
• How to Publish in TUCS Series
• Publication Search
• Publication Graph
• Publication Input
• Publication Input Guide
• JuFo Browser

Developing Peer-to-Peer Systems with Formal and Informal Methods

Lu Yan, Kaisa Sere, Developing Peer-to-Peer Systems with Formal and Informal Methods. In: Proceedings of RCS'03: 2nd International Workshop on Refinement of Critical Systems: Methods, Tools and Developments, 2003.

Abstract:

Peer-to-peer networking has recently become popular in past few years.
In this paper, we describe part of the research being conducted in
our distributed systems design laboratory toward developing peer-to-peer
systems within the action systems framework by combining formal and informal methods.

BibTeX entry:

@INPROCEEDINGS{pYaSe03a,
  title = {Developing Peer-to-Peer Systems with Formal and Informal Methods},
  booktitle = {Proceedings of RCS'03: 2nd International Workshop on Refinement of Critical Systems: Methods, Tools and Developments},
  author = {Yan, Lu and Sere, Kaisa},
  year = {2003},
}

Belongs to TUCS Research Unit(s): Distributed Systems Laboratory (DS Lab)

Edit publication