Ken Sakayori

From MaRDI portal
Person:2145346

Available identifiers

zbMath Open sakayori.kenMaRDI QIDQ2145346

List of research outcomes





PublicationDate of PublicationType
A categorical model of an \textbf{i/o}-typed \(\pi \)-calculus2023-11-24Paper
Output Without Delay: A π-Calculus Compatible with Categorical Semantics2023-06-23Paper
Termination Analysis for the $$\pi $$-Calculus by Reduction to Sequential Program Termination2023-03-29Paper
Symbolic automatic relations and their applications to SMT and CHC solving2022-06-17Paper
A Truly Concurrent Game Model of the Asynchronous $$\pi $$-Calculus2017-05-19Paper

Research outcomes over time

This page was built for person: Ken Sakayori

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:2145346&oldid=7413744"
Powered by MediaWiki