Equivalences and Refinement

  • Authors:

  • Rob J. van Glabbeek;Ursula Goltz

  • Affiliations:

  • -;-

  • Venue:
  • Proceedings of the LITP Spring School on Theoretical Computer Science: Semantics of Systems of Concurrent Processes
  • Year:
  • 1990

Quantified Score

Hi-index 0.00

Visualization

Abstract