CCS for OO and LP

This publication has 20 references indexed in Scilit:

• Comparative metric semantics for concurrent prolog
  Theoretical Computer Science, 1990
• Solving reflexive domain equations in a category of complete metric spaces
  Journal of Computer and System Sciences, 1989
• Denotational semantics of a parallel object-oriented language
  Information and Computation, 1989
• Issues in the design of a parallel object-oriented language
  Formal Aspects of Computing, 1989
• Metric semantics for concurrency
  BIT Numerical Mathematics, 1988
• Designing equivalent semantic models for process creation
  Theoretical Computer Science, 1988
• Transition systems, metric spaces and ready sets in the semantics of uniform concurrency
  Journal of Computer and System Sciences, 1988
• Operational semantics of a parallel object-oriented language
  Published by Association for Computing Machinery (ACM) ,1986
• Linear time and branching time semantics for recursion with merge
  Theoretical Computer Science, 1984
• Processes and the denotational semantics of concurrency
  Information and Control, 1982