Pages that link to "Item:Q6104370"
From MaRDI portal
The following pages link to On transformations of concurrent object programs (Q6104370):
Displaying 14 items.
- Automatic transformations of high-level object-oriented specifications into parallel programs (Q1121001) (← links)
- Adequacy-preserving transformations of COSY path programs (Q1185020) (← links)
- The \({\mathcal NU}\) system as a development system for concurrent programs: \(\delta{\mathcal NU}\) (Q1190479) (← links)
- Partial confluence of processes and systems of objects (Q1274970) (← links)
- On transformations of concurrent-object programs (Q1276245) (← links)
- A transformation system for concurrent processes (Q1284702) (← links)
- A method of program transformation between variable sharing and message passing (Q3677144) (← links)
- On confluence in the π-calculus (Q4571963) (← links)
- Transfer Principles for Reasoning About Concurrent Programs (Q4917047) (← links)
- A case study in transformational design of concurrent systems (Q5044728) (← links)
- Constraining interference in an object-based design method (Q5044731) (← links)
- From sequential programs to multi-tier applications by program transformation (Q5276148) (← links)
- A rigorous analysis of concurrent operations on B-trees (Q6044129) (← links)
- On implementations and semantics of a concurrent programming language (Q6044131) (← links)
