Partial confluence of processes and systems of objects

DOI10.1016/S0304-3975(97)00111-4zbMath0913.68129OpenAlexW1979834320MaRDI QIDQ1274970

K. Appert

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

zbMATH Keywords

object-oriented programming language

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55)

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