External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Output Without Delay: A π-Calculus Compatible with Categorical Semantics

Ken Sakayori, Takeshi Tsukada. Output Without Delay: A π-Calculus Compatible with Categorical Semantics. In Naoki Kobayashi 0001, editor, 6th International Conference on Formal Structures for Computation and Deduction, FSCD 2021, July 17-24, 2021, Buenos Aires, Argentina (Virtual Conference). Volume 195 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2021. [doi]

Authors

Ken Sakayori

This author has not been identified. Look up 'Ken Sakayori' in Google

Takeshi Tsukada

This author has not been identified. Look up 'Takeshi Tsukada' in Google
runs on