Characteristic Bisimulation for Higher-Order Session Processes

Dimitrios Kouzapas, Jorge A. Pérez, Nobuko Yoshida

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

4 Citations (Scopus)
Original languageEnglish
Title of host publication26th International Conference on Concurrency Theory, CONCUR 2015, September 1.4, 2015
Place of PublicationMadrid, Spain,
Pages398-411
Number of pages14
DOIs
Publication statusPublished - 2015

Cite this