Partial confluence of processes and systems of objects
From MaRDI portal
Publication:1274970
DOI10.1016/S0304-3975(97)00111-4zbMath0913.68129OpenAlexW1979834320MaRDI QIDQ1274970
Publication date: 12 January 1999
Published in: Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/s0304-3975(97)00111-4
Related Items (6)
Attributed graph transformation with inheritance: efficient conflict detection and local confluence analysis using abstract critical pairs ⋮ On the Origin of Events: Branching Cells as Stubborn Sets ⋮ 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
This page was built for publication: Partial confluence of processes and systems of objects
