Gaoang Bian

According to our database, Gaoang Bian authored at least 2 papers in 2017.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2017

On the Relationship between Bisimulation and Trace Equivalence in an Approximate Probabilistic Context (Extended Version).

Gaoang Bian, Alessandro Abate

CoRR, 2017

On the Relationship Between Bisimulation and Trace Equivalence in an Approximate Probabilistic Context.

Gaoang Bian, Alessandro Abate

Proceedings of the Foundations of Software Science and Computation Structures, 2017