Yong Meng Teo

From MaRDI portal
Person:436768

Available identifiers

zbMath Open teo.yong-mengMaRDI QIDQ436768

List of research outcomes





PublicationDate of PublicationType
Formalization of Weak Emergence in Multiagent Systems2018-04-16Paper
An Expressive Framework for Verifying Deadlock Freedom2014-07-08Paper
Message and time efficient consensus protocols for synchronous distributed systems2012-07-26Paper
Corrigendum to ``Message and time efficient consensus protocols for synchronous distributed systems2012-07-26Paper
A bivalency proof of the lower bound for uniform consensus2009-12-18Paper
https://portal.mardi4nfdi.de/entity/Q44173602003-07-29Paper
Scalable optimistic parallel simulation2001-10-21Paper

Research outcomes over time

This page was built for person: Yong Meng Teo

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