Zhisong Tang

From MaRDI portal
Person:586731

Available identifiers

zbMath Open tang.zhisongMaRDI QIDQ586731

List of research outcomes





PublicationDate of PublicationType
Programming Languages and Systems2010-01-05Paper
Theoretical Aspects of Computing – ICTAC 20052006-11-01Paper
https://portal.mardi4nfdi.de/entity/Q54911672006-10-10Paper
https://portal.mardi4nfdi.de/entity/Q54695172006-05-19Paper
https://portal.mardi4nfdi.de/entity/Q44125022003-07-15Paper
https://portal.mardi4nfdi.de/entity/Q44837912003-05-27Paper
https://portal.mardi4nfdi.de/entity/Q47100252003-01-01Paper
The composability problem of the semantics of XYZ/BE-communicating processes2001-10-14Paper
A unified linear-time temporal logic solution to the steam-boiler control specification problem2001-07-15Paper
https://portal.mardi4nfdi.de/entity/Q37427061985-01-01Paper
https://portal.mardi4nfdi.de/entity/Q41662461978-01-01Paper
https://portal.mardi4nfdi.de/entity/Q55362701965-01-01Paper

Research outcomes over time

This page was built for person: Zhisong Tang

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