Confluence of processes and systems of objects

DOI10.1007/3-540-59293-8_197MaRDI QIDQ5096733zbMATH OpenOpenAlexFDO

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

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)

Recommendations

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

Cites work

• scientific article; zbMATH DE number 3986679 (Why is no real title available?)
• scientific article; zbMATH DE number 42752 (Why is no real title available?)
• A calculus of mobile processes. I
• Branching time and abstraction in bisimulation semantics
• Concurrent manipulation of binary search trees
• Constraining interference in an object-based design method
• Efficient locking for concurrent operations on B-trees
• Issues in the design of a parallel object-oriented language
• Modal logics for mobile processes
• -calculus semantics of object-oriented programming languages

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 -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)