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

SPECTA: A Formal Specification Language for Content Transfer Algorithms

Petter Sandvik, SPECTA: A Formal Specification Language for Content Transfer Algorithms. In: Uwe Wolter, Yngve Lamo (Eds.), 24th Nordic Workshop on Programming Theory, Reports in Informatics 403, 81–83, University of Bergen, 2012.

Abstract:

When data is transferred between nodes in a network, it is often transferred in-order. However, in distributed systems, such as peer-to-peer networks and cloud-based systems, transferring data out of order can be advantageous, for instance by improving reliability, availability and transfer speed. For that reason, there is a need to understand different content transfer algorithms. What we aim for is a reusable formalism that can describe the complexities of out-of-order content transfer in a simple manner, while being powerful enough to support as large a variety of distributed content transfer algorithms as possible. For this purpose we introduce the Specification for Content Transfer Algorithms (SPECTA) Language.

BibTeX entry:

@INPROCEEDINGS{inpSandvik_Petter12a,
  title = {SPECTA: A Formal Specification Language for Content Transfer Algorithms},
  booktitle = {24th Nordic Workshop on Programming Theory},
  author = {Sandvik, Petter},
  volume = {403},
  series = {Reports in Informatics},
  editor = {Wolter, Uwe and Lamo, Yngve},
  publisher = {University of Bergen},
  pages = {81–83},
  year = {2012},
  keywords = {peer-to-peer networks, network protocols, formal methods},
}

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

Edit publication