On transformations of concurrent-object programs
From MaRDI portal
Publication:1276245
DOI10.1016/S0304-3975(97)00222-3zbMath0915.68024MaRDI QIDQ1276245
Publication date: 20 January 1999
Published in: Theoretical Computer Science (Search for Journal in Brave)
Related Items (2)
A process-calculus analysis of concurrent operations on B-trees ⋮ Mobile objects as mobile processes
Cites Work
- Unnamed Item
- Unnamed Item
- Issues in the design of a parallel object-oriented language
- A calculus of mobile processes. II
- Partial confluence of processes and systems of objects
- On the expressiveness of internal mobility in name-passing calculi
- Asynchronous process calculi: The first- and higher-order paradigms
- Objects in the \(\pi\)-calculus
- The name discipline of uniform receptiveness
- Constraining interference in an object-based design method
- π-Calculus semantics of object-oriented programming languages
- Confluence of processes and systems of objects
- A process-calculus analysis of concurrent operations on B-trees
- A calculus of mobile agents
This page was built for publication: On transformations of concurrent-object programs
