Open Maps, Behavioural Equivalences, and Congruences

  • Authors:

  • Allan Cheng;Mogens Nielsen

  • Affiliations:

  • -;-

  • Venue:
  • CAAP '96 Proceedings of the 21st International Colloquium on Trees in Algebra and Programming
  • Year:
  • 1996

  • Weak Bisimilarity and Open Maps

    SOFSEM '98 Proceedings of the 25th Conference on Current Trends in Theory and Practice of Informatics: Theory and Practice of Informatics

Quantified Score

Hi-index 0.00

Visualization

Abstract