@inproceedings{89fb3d5e914f42429e5ca5665754fad8,
title = "A Framework for Prototyping and Reasoning about Distributed Systems",
abstract = "A framework supporting fast prototyping as well as tuning of distributed applications is presented. The approach is based on the adoption of a formal model that is used to describe the orchestration of distributed applications. The formal model (Orc by Misra and Cook) can be used to support semi-formal reasoning about the applications at hand. The paper describes how the framework can be used to derive and evaluate alternative orchestrations of a well know parallel/distributed computation pattern; and shows how the same formal model can be used to support generation of prototypes of distributed applications skeletons directly from the application description.",
author = "Marco Aldinucci and Marco Danelutto and Peter Kilpatrick",
year = "2008",
language = "English",
isbn = "978-1-58603-796-3",
series = "Advances in Parallel Computing",
publisher = "Institute of Irish Studies Press",
pages = "235--242",
editor = "C Bischof and C Bucker and P Gibbon and G Joubert and T Lippert and B Mohr and F Peters",
booktitle = "PARALLEL COMPUTING: ARCHITECTURES, ALGORITHMS AND APPLICATIONS",
note = "International Parallel Computing Conference 2007 ; Conference date: 04-09-2007 Through 07-09-2007",
}