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.
Document type :
Preprints, Working Papers, ...
work in progress. 2009
Liste complète des métadonnées

Cited literature [4 references]  Display  Hide  Download

https://hal.archives-ouvertes.fr/hal-00425099
Contributor : Alexander Heußner <>
Submitted on : Tuesday, October 20, 2009 - 10:31:50 AM
Last modification on : Thursday, January 11, 2018 - 6:20:16 AM
Document(s) archivé(s) le : Tuesday, October 16, 2012 - 12:30:32 PM

File

paper.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-00425099, version 1

Collections

Citation

Alexander Heußner. Model Extraction for Sockets-based Distributed Programs. work in progress. 2009. 〈hal-00425099〉

Share

Metrics

Record views

116

Files downloads

185