An Axiomatization of the Token Game Based on Petri Algebras

Eric Badouel, Jules Chenou, Goulven Guillou. An Axiomatization of the Token Game Based on Petri Algebras. Fundamenta Informaticae, 77(3):187-215, 2007. [doi]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.