Confluence of processes and systems of objects
- 1 January 1995
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 13 references indexed in Scilit:
- A calculus of mobile processes, IPublished by Elsevier ,2004
- Algebraic proofs of properties of objectsPublished by Springer Nature ,1994
- Modal logics for mobile processesTheoretical Computer Science, 1993
- A pi-calculus semantics for an object-based design notationPublished by Springer Nature ,1993
- Constraining interference in an object-based design methodPublished by Springer Nature ,1993
- Action systems and action refinement in the development of parallel systemsPublished by Springer Nature ,1991
- π-Calculus semantics of object-oriented programming languagesPublished by Springer Nature ,1991
- Issues in the design of a parallel object-oriented languageFormal Aspects of Computing, 1989
- Efficient locking for concurrent operations on B-treesACM Transactions on Database Systems, 1981
- Concurrent manipulation of binary search treesACM Transactions on Database Systems, 1980