Comparing Deadlock-Free Session Typed Processes

Ornela Dardha; Jorge A. Pérez

doi:10.4204/EPTCS.190.1

Comparing Deadlock-Free Session Typed Processes

Ornela Dardha
, Jorge A. Pérez

Fundamental Computing

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

19 Citations (Scopus)

Original language	English
Title of host publication	Proceedings of the Combined 22th International Workshop on Expressiveness in Concurrency and 12th Workshop on Structural Operational Semantics, and 12th Workshop on Structural Operational Semantics, EXPRESS/SOS 2015, 31st August 2015.
Place of Publication	Madrid, Spain
Publisher	Electronic Proceedings in Theoretical Computer Science (EPTCS)
Pages	1-15
Number of pages	15
DOIs	https://doi.org/10.4204/EPTCS.190.1
Publication status	Published - 2015

Access to Document

10.4204/EPTCS.190.1Licence: CC BY

http://dx.doi.org/10.4204/EPTCS.190.1

Handle.net

Persistent link

Cite this

Dardha, O., & Pérez, J. A. (2015). Comparing Deadlock-Free Session Typed Processes. In Proceedings of the Combined 22th International Workshop on Expressiveness in Concurrency and 12th Workshop on Structural Operational Semantics, and 12th Workshop on Structural Operational Semantics, EXPRESS/SOS 2015, 31st August 2015. (pp. 1-15). Electronic Proceedings in Theoretical Computer Science (EPTCS). https://doi.org/10.4204/EPTCS.190.1

Dardha, Ornela ; Pérez, Jorge A. / Comparing Deadlock-Free Session Typed Processes. Proceedings of the Combined 22th International Workshop on Expressiveness in Concurrency and 12th Workshop on Structural Operational Semantics, and 12th Workshop on Structural Operational Semantics, EXPRESS/SOS 2015, 31st August 2015.. Madrid, Spain : Electronic Proceedings in Theoretical Computer Science (EPTCS), 2015. pp. 1-15

@inproceedings{0ab1a76492ba45b887227f4737af8b74,

title = "Comparing Deadlock-Free Session Typed Processes",

author = "Ornela Dardha and P{\'e}rez, \{Jorge A.\}",

year = "2015",

doi = "10.4204/EPTCS.190.1",

language = "English",

pages = "1--15",

booktitle = "Proceedings of the Combined 22th International Workshop on Expressiveness in Concurrency and 12th Workshop on Structural Operational Semantics, and 12th Workshop on Structural Operational Semantics, EXPRESS/SOS 2015, 31st August 2015.",

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

}

Dardha, O & Pérez, JA 2015, Comparing Deadlock-Free Session Typed Processes. in Proceedings of the Combined 22th International Workshop on Expressiveness in Concurrency and 12th Workshop on Structural Operational Semantics, and 12th Workshop on Structural Operational Semantics, EXPRESS/SOS 2015, 31st August 2015.. Electronic Proceedings in Theoretical Computer Science (EPTCS), Madrid, Spain, pp. 1-15. https://doi.org/10.4204/EPTCS.190.1

Comparing Deadlock-Free Session Typed Processes. / Dardha, Ornela; Pérez, Jorge A.
Proceedings of the Combined 22th International Workshop on Expressiveness in Concurrency and 12th Workshop on Structural Operational Semantics, and 12th Workshop on Structural Operational Semantics, EXPRESS/SOS 2015, 31st August 2015.. Madrid, Spain: Electronic Proceedings in Theoretical Computer Science (EPTCS), 2015. p. 1-15.

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

TY - GEN

T1 - Comparing Deadlock-Free Session Typed Processes

AU - Dardha, Ornela

AU - Pérez, Jorge A.

PY - 2015

Y1 - 2015

U2 - 10.4204/EPTCS.190.1

DO - 10.4204/EPTCS.190.1

M3 - Conference contribution

SP - 1

EP - 15

BT - Proceedings of the Combined 22th International Workshop on Expressiveness in Concurrency and 12th Workshop on Structural Operational Semantics, and 12th Workshop on Structural Operational Semantics, EXPRESS/SOS 2015, 31st August 2015.

PB - Electronic Proceedings in Theoretical Computer Science (EPTCS)

CY - Madrid, Spain

ER -

Dardha O, Pérez JA. Comparing Deadlock-Free Session Typed Processes. In Proceedings of the Combined 22th International Workshop on Expressiveness in Concurrency and 12th Workshop on Structural Operational Semantics, and 12th Workshop on Structural Operational Semantics, EXPRESS/SOS 2015, 31st August 2015.. Madrid, Spain: Electronic Proceedings in Theoretical Computer Science (EPTCS). 2015. p. 1-15 doi: 10.4204/EPTCS.190.1