Solving the Inheritance Anomaly in Concurrent Object-Oriented Programming

This publication has 25 references indexed in Scilit:

• Inheritance of synchronization constraints in concurrent object-oriented programming languages
  Published by Springer Nature ,2006
• Order-Sorted Algebra Solves the Constructor-Selector, Multiple Representation, and Coercion Problems
  Information and Computation, 1993
• Order-sorted algebra I: equational deduction for multiple inheritance, overloading, exceptions and partial operations
  Theoretical Computer Science, 1992
• Conditional rewriting logic as a unified model of concurrency
  Theoretical Computer Science, 1992
• Petri nets are monoids
  Information and Computation, 1990
• Inheritance and Subtyping in a Parallel Object-Oriented Language
  Published by Springer Nature ,1987
• Concurrent term rewriting as a model of computation
  Published by Springer Nature ,1987
• Extensions and foundations of object-oriented programming
  ACM SIGPLAN Notices, 1986
• Equality, types, modules, and (why not?) generics for logic programming
  The Journal of Logic Programming, 1984
• Confluent Reductions: Abstract Properties and Applications to Term Rewriting Systems
  Journal of the ACM, 1980