Confluence of processes and systems of objects

DOI10.1007/3-540-59293-8_197zbMath1496.68239OpenAlexW1520001874MaRDI QIDQ5096733

No author found.

Publication date: 18 August 2022

Published in: TAPSOFT '95: Theory and Practice of Software Development (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/3-540-59293-8_197

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Theory of programming languages (68N15) Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (5)

On confluence in the π-calculus ⋮ Splitting atoms safely ⋮ A rigorous analysis of concurrent operations on B-trees ⋮ On transformations of concurrent object programs ⋮ 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
• A calculus of mobile processes. I
• Concurrent manipulation of binary search trees
• Efficient locking for concurrent operations on B-trees
• Branching time and abstraction in bisimulation semantics
• Constraining interference in an object-based design method
• π-Calculus semantics of object-oriented programming languages

This page was built for publication: Confluence of processes and systems of objects