On the Power of Name-Passing Communication

Author Yuxi Fu



PDF
Thumbnail PDF

File

LIPIcs.CONCUR.2017.22.pdf
  • Filesize: 499 kB
  • 15 pages

Document Identifiers

Author Details

Yuxi Fu

Cite AsGet BibTex

Yuxi Fu. On the Power of Name-Passing Communication. In 28th International Conference on Concurrency Theory (CONCUR 2017). Leibniz International Proceedings in Informatics (LIPIcs), Volume 85, pp. 22:1-22:15, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2017)
https://doi.org/10.4230/LIPIcs.CONCUR.2017.22

Abstract

It is shown that generally higher order process calculi cannot be interpreted in name-passing calculi in a robust way.
Keywords
  • Interaction theory
  • expressiveness
  • bisimulation

Metrics

  • Access Statistics
  • Total Accesses (updated on a weekly basis)
    0
    PDF Downloads
Questions / Remarks / Feedback
X

Feedback for Dagstuhl Publishing


Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail