Comparing Deadlock-Free Session Typed Processes

Ornela Dardha, Jorge A. Pérez

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

9 Citations (Scopus)
Original languageEnglish
Title of host publicationProceedings 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 PublicationMadrid, Spain
PublisherElectronic Proceedings in Theoretical Computer Science (EPTCS)
Pages1-15
Number of pages15
DOIs
Publication statusPublished - 2015

Cite this