How to interpret and establish consistency results for semantics of concurrent programming languages

  • Authors:

  • Christel Baier;Mila Majster-Cederbaum

  • Affiliations:

  • -;-

  • Venue:
  • Fundamenta Informaticae
  • Year:
  • 1997

Quantified Score

Hi-index 0.00

Visualization

Abstract