The comparison of a cpo-based semantics with cms-based semantics for CSP

  • Authors:
  • M. E. Majster-Cederbaum;F. Zetzsche

  • Affiliations:
  • Univ. Mannheim, Mannheim, Germany;Univ. Mannheim, Mannheim, Germany

  • Venue:
  • Theoretical Computer Science
  • Year:
  • 1994

Quantified Score

Hi-index 5.23

Visualization

Abstract