Reversible Sessions Using Monitors

Claudio Mezzina, Jorge A Pérez,

Publisher	EPTCS – Electronic Proceedings in Theoretical Computer Science
Publisher	EPTCS – Electronic Proceedings in Theoretical Computer Science

Publication