Partial confluence of processes and systems of objects
From MaRDI portal
Publication:1274970
DOI10.1016/S0304-3975(97)00111-4zbMath0913.68129MaRDI QIDQ1274970
Publication date: 12 January 1999
Published in: Theoretical Computer Science (Search for Journal in Brave)
68Q55: Semantics in the theory of computing
Related Items
A process-calculus analysis of concurrent operations on B-trees, Asynchronous sequential processes, An interpretation of typed objects into typed \(\pi\)-calculus, On transformations of concurrent-object programs
Cites Work
- Unnamed Item
- Unnamed Item
- Modal logics for mobile processes
- Issues in the design of a parallel object-oriented language
- Denotational semantics of a parallel object-oriented language
- A calculus of communicating systems
- A calculus of mobile processes. II
- Asynchronous process calculi: The first- and higher-order paradigms
- Objects in the \(\pi\)-calculus
- Traffic Modelling and Probabilistic Process Abstraction
- Constraining interference in an object-based design method
- From π-calculus to higher-order π-calculus — and back
- π-Calculus semantics of object-oriented programming languages