Towards Formally-Based Design of Message-Passing Programs

Gorlatch S

Research article (journal) | Peer reviewed

Details about the publication

JournalIEEE Transactions on Software Engineering
Volume26
Page range276-288
StatusPublished
Release year2000
Language in which the publication is writtenEnglish

Authors from the University of Münster

Gorlatch, Sergei
Professur für Praktische Informatik (Prof. Gorlatch)