A framework for prototyping and reasoning about distributed systems
From MaRDI portal
Publication:3601068
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
- scientific article; zbMATH DE number 2080308 (Why is no real title available?)
- Protocol combinators for modeling, testing, and execution of distributed systems
- scientific article; zbMATH DE number 7222494 (Why is no real title available?)
- scientific article; zbMATH DE number 7455716 (Why is no real title available?)
- BPL: A set-based language for distributed system prototyping
- SCTL-MUS: A formal methodology for software development of distributed systems. A case study
- scientific article; zbMATH DE number 2086959 (Why is no real title available?)
- 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)
