Metric pomset semantics for a concurrent language with recursion

This publication has 11 references indexed in Scilit:

• 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
• Pomset semantics for true concurrency with synchronization and recursion
  Published by Springer Nature ,1989
• Modeling concurrency by partial orders and nonlinear transition systems
  Published by Springer Nature ,1989
• Metric semantics for concurrency
  BIT Numerical Mathematics, 1988
• Concurrency and atomicity
  Theoretical Computer Science, 1988
• Contractions in comparing concurrency semantics
  Published by Springer Nature ,1988
• Modeling concurrency with partial orders
  International Journal of Parallel Programming, 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