Gaoang Bian
According to our database1,
Gaoang Bian
authored at least 2 papers
in 2017.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2017
On the Relationship between Bisimulation and Trace Equivalence in an Approximate Probabilistic Context (Extended Version).
CoRR, 2017
On the Relationship Between Bisimulation and Trace Equivalence in an Approximate Probabilistic Context.
Proceedings of the Foundations of Software Science and Computation Structures, 2017