Development of concurrent systems by incremental transformation
From MaRDI portal
Recommendations
- scientific article; zbMATH DE number 3856387
- Transforming sequential systems into concurrent systems
- A transformation system for concurrent processes
- A case study in transformational design of concurrent systems
- scientific article; zbMATH DE number 2095896
- scientific article; zbMATH DE number 2147039
- Formal Methods in Software and Systems Modeling
- On transformations of concurrent-object programs
- Concurrent transition systems
Cited in
(12)- The \({\mathcal NU}\) system as a development system for concurrent programs: \(\delta{\mathcal NU}\)
- A transformation system for concurrent processes
- A structured approach for developing concurrent programs in Java
- Transforming sequential systems into concurrent systems
- scientific article; zbMATH DE number 3856387 (Why is no real title available?)
- An example of stepwise refinement of distributed programs: quiescence detection
- Using atomic await commands to develop concurrent programs in Java
- A case study in transformational design of concurrent systems
- On transformations of concurrent object programs
- Concurrency without toil: A systematic method for parallel program design
- Derivation of concurrent programs by stepwise scheduling of Event-B models
- Splitting atoms safely
This page was built for publication: Development of concurrent systems by incremental transformation
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4038659)
