On transformations of concurrent-object programs
From MaRDI portal
Recommendations
Cites work
- scientific article; zbMATH DE number 3744561 (Why is no real title available?)
- scientific article; zbMATH DE number 42752 (Why is no real title available?)
- 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
- 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
- \(\pi\)-calculus semantics of object-oriented programming languages
Cited in
(28)- On implementations and semantics of a concurrent programming language
- A case study in transformational design of concurrent systems
- scientific article; zbMATH DE number 4106264 (Why is no real title available?)
- scientific article; zbMATH DE number 177782 (Why is no real title available?)
- Generic transforms on incomplete specifications of asynchronous interfaces
- A process-calculus analysis of concurrent operations on B-trees
- A transformation from p-\(\pi \) to MSVL
- From sequential programs to multi-tier applications by program transformation
- On transformations of concurrent object programs
- Confluence of processes and systems of objects
- A truly concurrent semantics for the \(\mathbb{K}\) framework based on graph transformations
- A transformation system for concurrent processes
- A structural transformation from p- to MSVL
- scientific article; zbMATH DE number 4084986 (Why is no real title available?)
- Automatic transformations of high-level object-oriented specifications into parallel programs
- scientific article; zbMATH DE number 1832216 (Why is no real title available?)
- Mobile objects as mobile processes
- Transformations of sequential specifications into concurrent specifications by synchronization guards
- Adequacy-preserving transformations of COSY path programs
- Syntax and semantics of Procol
- Support for implementation of evolutionary concurrent systems
- Hume box calculus: Robust system development through software transformation
- scientific article; zbMATH DE number 4005586 (Why is no real title available?)
- Finite-state concurrent programs can be expressed in pairwise normal form
- Transfer Principles for Reasoning About Concurrent Programs
- Transforming concurrent programs with semaphores into logically constrained term rewrite systems
- Computing in unpredictable environments: Semantics, reduction strategies, and program transformations
- Finite-state concurrent programs can be expressed succinctly in triple normal form
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)
