@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",

}