Yao-Tin Yu

From MaRDI portal
Person:1054478

Available identifiers

zbMath Open yu.yao-tinMaRDI QIDQ1054478

List of research outcomes





PublicationDate of PublicationType
On the progress of communication between two finite state machines1984-01-01Paper
Synthesis of Communicating Finite-State Machines with Guaranteed Progress1984-01-01Paper
Unboundedness detection for a class of communicating finite-state machines1983-01-01Paper
Deadlock Detection for a Class of Communicating Finite State Machines1982-01-01Paper

Research outcomes over time

This page was built for person: Yao-Tin Yu

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