Reversible Sessions Using Monitors

Claudio Antares Mezzina, Jorge Andres Perez Parra

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

9 Citations (Scopus)
Original languageEnglish
Title of host publication Programming Language Approaches to Concurrency- and Communication-cEntric Software (PLACES 2016)
EditorsD. Orchard, N. Yoshida
PublisherElectronic Proceedings in Theoretical Computer Science (EPTCS)
Pages56–64
DOIs
Publication statusPublished - Jul-2016
EventPLACES 2016 : Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software - Eindhoven, Netherlands
Duration: 8-Apr-2016 → …

Publication series

NameElectronic Proceedings in Theoretical Computer Science (EPTCS)
Volume211

Conference

ConferencePLACES 2016 : Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software
Country/TerritoryNetherlands
CityEindhoven
Period08/04/2016 → …

Cite this