Fair Petri Nets and Structural Induction for Rings of Processes

Jianan Li, Ichiro Suzuki, Masafumi Yamashita. Fair Petri Nets and Structural Induction for Rings of Processes. Theoretical Computer Science, 135(2):377-404, 1994.

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.