Enhancing coordination and modularity mechanisms for a language with objects-as-multisets

This publication has 12 references indexed in Scilit:

• Distributed programming with Logic Tuple Spaces
  New Generation Computing, 1994
• Programming by multiset transformation
  Communications of the ACM, 1993
• Logic Programming with Focusing Proofs in Linear Logic
  Journal of Logic and Computation, 1992
• Coordination languages and their significance
  Communications of the ACM, 1992
• Comparative semantics of μLog
  Published by Springer Nature ,1992
• Linear objects: Logical processes with built-in inheritance
  New Generation Computing, 1991
• The concurrent language, Shared Prolog
  ACM Transactions on Programming Languages and Systems, 1991
• A UNITY-style programming logic for shared dataspace programs
  IEEE Transactions on Parallel and Distributed Systems, 1990
• Linear logic
  Theoretical Computer Science, 1987
• Actors
  Published by MIT Press ,1986