On transformations of concurrent-object programs
From MaRDI portal
Recommendations
Cites work
- -calculus semantics of object-oriented programming languages
- A calculus of mobile agents
- A calculus of mobile processes. II
- A process-calculus analysis of concurrent operations on B-trees
- Asynchronous process calculi: The first- and higher-order paradigms
- Confluence of processes and systems of objects
- Constraining interference in an object-based design method
- scientific article; zbMATH DE number 3744561 (Why is no real title available?)
- scientific article; zbMATH DE number 42752 (Why is no real title available?)
- Issues in the design of a parallel object-oriented language
- Objects in the \(\pi\)-calculus
- On the expressiveness of internal mobility in name-passing calculi
- Partial confluence of processes and systems of objects
- The name discipline of uniform receptiveness
Cited in
(29)- Automatic transformations of high-level object-oriented specifications into parallel programs
- Adequacy-preserving transformations of COSY path programs
- Partial confluence of processes and systems of objects
- A transformation system for concurrent processes
- A structural transformation from p- to MSVL
- Mobile objects as mobile processes
- Transformations of sequential specifications into concurrent specifications by synchronization guards
- Generic transforms on incomplete specifications of asynchronous interfaces
- A transformation from p- to MSVL
- A truly concurrent semantics for the \(\mathbb{K}\) framework based on graph transformations
- Syntax and semantics of Procol
- scientific article; zbMATH DE number 4005586 (Why is no real title available?)
- scientific article; zbMATH DE number 4084986 (Why is no real title available?)
- scientific article; zbMATH DE number 4106264 (Why is no real title available?)
- scientific article; zbMATH DE number 177782 (Why is no real title available?)
- scientific article; zbMATH DE number 1832216 (Why is no real title available?)
- Transfer Principles for Reasoning About Concurrent Programs
- A case study in transformational design of concurrent systems
- Confluence of processes and systems of objects
- Finite-state concurrent programs can be expressed succinctly in triple normal form
- From sequential programs to multi-tier applications by program transformation
- Computing in unpredictable environments: Semantics, reduction strategies, and program transformations
- A process-calculus analysis of concurrent operations on B-trees
- Support for implementation of evolutionary concurrent systems
- Finite-state concurrent programs can be expressed in pairwise normal form
- On implementations and semantics of a concurrent programming language
- On transformations of concurrent object programs
- Hume box calculus: Robust system development through software transformation
- Transforming concurrent programs with semaphores into logically constrained term rewrite systems
This page was built for publication: On transformations of concurrent-object programs
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1276245)
