Fair Petri nets and structural induction for rings of processes

  • Authors:

  • Jianan Li;Ichiro Suzuki;Masafumi Yamashita

  • Affiliations:

  • Univ. of Wisconsin at Milwaukee, Milwaukee;Univ. of Wisconsin at Milwaukee, Milwaukee;Hiroshima Univ., Higashi-Hiroshima, Japan

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

  • Reasoning about rings

    POPL '95 Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages

Quantified Score

Hi-index 5.23

Visualization

Abstract