Rendez-Vous with Metric Semantics

This publication has 14 references indexed in Scilit:

• CCS for OO and LP
  Published by Springer Nature ,1991
• Fundamental study
  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
• 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