Confluence of processes and systems of objects

DOI10.1007/3-540-59293-8_197zbMATH Open1496.68239OpenAlexW1520001874MaRDI QIDQ5096733FDOQ5096733

Authors:

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

Recommendations

• Partial confluence of processes and systems of objects
• On confluence in the \(\pi\)-calculus
• On transformations of concurrent-object programs
• A confluent calculus for concurrent constraint programming
• On transformations of concurrent object programs

Mathematics Subject Classification ID

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

Cites Work

• Title not available (Why is that?)
• Modal logics for mobile processes
• A calculus of mobile processes. I
• Title not available (Why is that?)
• Branching time and abstraction in bisimulation semantics
• Issues in the design of a parallel object-oriented language
• Concurrent manipulation of binary search trees
• Efficient locking for concurrent operations on B-trees
• \(\pi\)-calculus semantics of object-oriented programming languages
• Constraining interference in an object-based design method

Cited In (5)

• Splitting atoms safely
• A rigorous analysis of concurrent operations on B-trees
• On transformations of concurrent object programs
• On transformations of concurrent-object programs
• On confluence in the \(\pi\)-calculus

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5096733)