Reversible Sessions Using Monitors

Claudio Antares Mezzina; Jorge Andres Perez Parra

doi:10.4204/EPTCS.211.6

Reversible Sessions Using Monitors

Claudio Antares Mezzina, Jorge Andres Perez Parra

Fundamental Computing

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

10 Citations (Scopus)

Original language	English
Title of host publication	Programming Language Approaches to Concurrency- and Communication-cEntric Software (PLACES 2016)
Editors	D. Orchard, N. Yoshida
Publisher	Electronic Proceedings in Theoretical Computer Science (EPTCS)
Pages	56–64
DOIs	https://doi.org/10.4204/EPTCS.211.6
Publication status	Published - Jul-2016
Event	PLACES 2016 : Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software - Eindhoven, Netherlands Duration: 8-Apr-2016 → …

Publication series

Name	Electronic Proceedings in Theoretical Computer Science (EPTCS)
Volume	211

Conference

Conference	PLACES 2016 : Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software
Country/Territory	Netherlands
City	Eindhoven
Period	08/04/2016 → …

Access to Document

10.4204/EPTCS.211.6

Handle.net

Persistent link

Cite this

Mezzina, C. A., & Perez Parra, J. A. (2016). Reversible Sessions Using Monitors. In D. Orchard, & N. Yoshida (Eds.), Programming Language Approaches to Concurrency- and Communication-cEntric Software (PLACES 2016) (pp. 56–64). (Electronic Proceedings in Theoretical Computer Science (EPTCS); Vol. 211). Electronic Proceedings in Theoretical Computer Science (EPTCS). https://doi.org/10.4204/EPTCS.211.6

Mezzina, Claudio Antares ; Perez Parra, Jorge Andres. / Reversible Sessions Using Monitors. Programming Language Approaches to Concurrency- and Communication-cEntric Software (PLACES 2016). editor / D. Orchard ; N. Yoshida. Electronic Proceedings in Theoretical Computer Science (EPTCS), 2016. pp. 56–64 (Electronic Proceedings in Theoretical Computer Science (EPTCS)).

@inproceedings{a9c95f5a21634d92ac9db26b8604dab6,

title = "Reversible Sessions Using Monitors",

author = "Mezzina, {Claudio Antares} and {Perez Parra}, {Jorge Andres}",

year = "2016",

month = jul,

doi = "10.4204/EPTCS.211.6",

language = "English",

series = "Electronic Proceedings in Theoretical Computer Science (EPTCS)",

publisher = "Electronic Proceedings in Theoretical Computer Science (EPTCS)",

pages = "56–64",

editor = "D. Orchard and N. Yoshida",

booktitle = "Programming Language Approaches to Concurrency- and Communication-cEntric Software (PLACES 2016)",

note = "PLACES 2016 : Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software ; Conference date: 08-04-2016",

}

Mezzina, CA & Perez Parra, JA 2016, Reversible Sessions Using Monitors. in D Orchard & N Yoshida (eds), Programming Language Approaches to Concurrency- and Communication-cEntric Software (PLACES 2016). Electronic Proceedings in Theoretical Computer Science (EPTCS), vol. 211, Electronic Proceedings in Theoretical Computer Science (EPTCS), pp. 56–64, PLACES 2016 : Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software, Eindhoven, Netherlands, 08/04/2016. https://doi.org/10.4204/EPTCS.211.6

Reversible Sessions Using Monitors. / Mezzina, Claudio Antares; Perez Parra, Jorge Andres.
Programming Language Approaches to Concurrency- and Communication-cEntric Software (PLACES 2016). ed. / D. Orchard; N. Yoshida. Electronic Proceedings in Theoretical Computer Science (EPTCS), 2016. p. 56–64 (Electronic Proceedings in Theoretical Computer Science (EPTCS); Vol. 211).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

TY - GEN

T1 - Reversible Sessions Using Monitors

AU - Mezzina, Claudio Antares

AU - Perez Parra, Jorge Andres

PY - 2016/7

Y1 - 2016/7

U2 - 10.4204/EPTCS.211.6

DO - 10.4204/EPTCS.211.6

M3 - Conference contribution

T3 - Electronic Proceedings in Theoretical Computer Science (EPTCS)

SP - 56

EP - 64

BT - Programming Language Approaches to Concurrency- and Communication-cEntric Software (PLACES 2016)

A2 - Orchard, D.

A2 - Yoshida, N.

PB - Electronic Proceedings in Theoretical Computer Science (EPTCS)

T2 - PLACES 2016 : Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software

Y2 - 8 April 2016

ER -