A framework for prototyping and reasoning about distributed systems
From MaRDI portal
Publication:3601068
zbMATH Open1172.68353MaRDI QIDQ3601068FDOQ3601068
Authors: Marco Aldinucci, Marco Danelutto, Peter Kilpatrick 
Publication date: 9 February 2009
Recommendations
- scientific article; zbMATH DE number 2080308
- A framework for structured distributed object computing
- Protocol combinators for modeling, testing, and execution of distributed systems
- A framework for architecting and high-level programming support of CORBA applications
- scientific article; zbMATH DE number 1292977
Cited In (10)
- Rapid prototyping for distributed D-Clean using C++ templates
- A framework for architecting and high-level programming support of CORBA applications
- Title not available (Why is that?)
- Protocol combinators for modeling, testing, and execution of distributed systems
- Title not available (Why is that?)
- Title not available (Why is that?)
- BPL: A set-based language for distributed system prototyping
- SCTL-MUS: A formal methodology for software development of distributed systems. A case study
- Title not available (Why is that?)
- Foundations for ensemble modeling -- the Helena approach. Handling massively distributed systems with elaborate ensemble architectures
This page was built for publication: A framework for prototyping and reasoning about distributed systems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3601068)
