Towards Formally-Based Design of Message-Passing Programs

Gorlatch S

Forschungsartikel (Zeitschrift) | Peer reviewed

Details zur Publikation

Fachzeitschrift: IEEE Transactions on Software Engineering

Jahrgang / Bandnr. / Volume: 26

Seitenbereich: 276-288

Status: Veröffentlicht

Veröffentlichungsjahr: 2000

Sprache, in der die Publikation verfasst ist: Englisch

Professur für Praktische Informatik (Prof. Gorlatch)