 |
|
|
|
| HAL: hal-00425099, version 1 |
| Detailed view |  Export this paper |
|
|
|
|
| Model Extraction for Sockets-based Distributed Programs |
|
|
| Alexander Heußner 1 |
|
|
| (2009-10-16) |
|
|
|
| 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. |
|
|
|
|
|
|
|
|
|
|
|
| 1: | Laboratoire Bordelais de Recherche en Informatique (LaBRI) |
|
|
|
CNRS : UMR5800 – Université Sciences et Technologies - Bordeaux I – École Nationale Supérieure d'Électronique, Informatique et Radiocommunications de Bordeaux (ENSEIRB) – Université Victor Segalen - Bordeaux II |
|
|
|
|
|
|
|
|
|
| Subject | : | Computer Science/Other |
|
|
| model extraction – fifo semantics – Berkeley sockets – distributed programs |
|
|
|
| Attached file list to this document: | |||||
|
|||||
|
|
|
| hal-00425099, version 1 | |
| http://hal.archives-ouvertes.fr/hal-00425099 | |
| oai:hal.archives-ouvertes.fr:hal-00425099 | |
| From: Alexander Heußner | |
| Submitted on: Tuesday, 20 October 2009 10:31:50 | |
| Updated on: Tuesday, 20 October 2009 13:13:21 | |
