Relating Reversible Petri Nets and Reversible Event Structures, Categorically.

Hernn C. Melgratti, Claudio Antares Mezzina, G. Michele Pinna

Browse the full FORTE paper archive.