Model Extraction for Sockets-based Distributed Programs - Archive ouverte HAL Access content directly
Preprints, Working Papers, ... Year :

Model Extraction for Sockets-based Distributed Programs

Abstract

The following short report introduces an approach to utilize unbounded, reliable fifo queues as basis for an operational semantics of distributed applications whose implementation is based on the Berke- ley Sockets API. After a sketch of TCP and the Sockets API, a first draft of a formalization of distributed programs is given as well as a straight-forward translation into the abstract formal model of queueing concurrent processes.
Fichier principal
Vignette du fichier
paper.pdf (250.56 Ko) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

hal-00425099 , version 1 (20-10-2009)

Identifiers

  • HAL Id : hal-00425099 , version 1

Cite

Alexander Heussner. Model Extraction for Sockets-based Distributed Programs. 2009. ⟨hal-00425099⟩

Collections

CNRS ANR
62 View
121 Download

Share

Gmail Facebook Twitter LinkedIn More