Zining Cao

From MaRDI portal
Person:442288

Available identifiers

zbMath Open cao.ziningMaRDI QIDQ442288

List of research outcomes





PublicationDate of PublicationType
More on bisimulations for higher order \(\pi\)-calculus2012-08-10Paper
Extending Interface Automata with Z Notation2012-06-29Paper
https://portal.mardi4nfdi.de/entity/Q30526092010-11-05Paper
https://portal.mardi4nfdi.de/entity/Q31813892009-10-12Paper
A Complete Probabilistic Belief Logic2009-01-20Paper
Representing and Verifying Temporal Epistemic Properties in Multi-Agent Systems2009-01-20Paper
Towards an Epistemic Logic for Uncertain Agents2008-09-25Paper
Bisimulations for a Distributed Higher Order π-Calculus2008-09-17Paper
A Logic for Distributed Higher Order π-Calculus2008-05-27Paper
Equivalence Checking for a Finite Higher Order π-Calculus2008-04-24Paper
https://portal.mardi4nfdi.de/entity/Q35959652007-08-28Paper
Foundations of Software Science and Computation Structures2007-05-02Paper
Programming Languages and Systems2005-08-17Paper
Probabilistic belief logic and its probabilistic Aumann semantics2003-11-06Paper
https://portal.mardi4nfdi.de/entity/Q45426682002-08-25Paper

Research outcomes over time

This page was built for person: Zining Cao

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