On the transformation of control-flow specifications into implementations of distributed systems: A case study

Bibliographic Details
Main Authors: Gondzio, Marek (Author), Grzegorzewicz, Pawel (Author)
Format: Article
Language:English
Subjects: