Publications

Ying, M 2001, Topology in Process Calculus, Springer New York.
View/Download from: Publisher's site

Ying, M 2001, Topology in process calculus - approximate correctness and infinite evolution of concurrent programs., Springer, New York.

Ying, M 2001, 'Bisimulation and Trace Limits of Agents' in Topology in Process Calculus, Springer New York, pp. 37-94.
View/Download from: Publisher's site

Ying, M 2001, 'Bisimulation Indexes Induced by Metrics on Actions' in Topology in Process Calculus, Springer New York, pp. 139-206.
View/Download from: Publisher's site

Ying, M 2001, 'Conclusion' in Topology in Process Calculus, Springer New York, pp. 207-211.
View/Download from: Publisher's site

Ying, M 2001, 'Introduction' in Topology in Process Calculus, Springer New York, pp. 1-9.
View/Download from: Publisher's site

Ying, M 2001, 'Limit Behavior of Agents' in Topology in Process Calculus, Springer New York, pp. 95-111.
View/Download from: Publisher's site

Ying, M 2001, 'Near Bisimulations Defined by Closures' in Topology in Process Calculus, Springer New York, pp. 113-138.
View/Download from: Publisher's site

Ying, M 2001, 'Process Calculus' in Topology in Process Calculus, Springer New York, pp. 11-36.
View/Download from: Publisher's site

Ying, MS 2001, 'Fuzzy topology based on residuated lattice-valued logic', ACTA MATHEMATICA SINICA-ENGLISH SERIES, vol. 17, no. 1, pp. 89-102.
View description>>

We use a semantical method of complete residuated lattice-valued logic to give a generalization of fuzzy topology as a partial answer to a problem by Rosser and Turquette.

Ying, MS & Wirsing, M 2001, 'Recursive equations in higher-order process calculi', THEORETICAL COMPUTER SCIENCE, vol. 266, no. 1-2, pp. 839-852.
View/Download from: Publisher's site
View description>>

Regarding behaviour equivalence in higher-order process calculi, Sangiorgi (Inform. and Comput. 131 (1996) 141) and Thomsen (Inform. and Comput. 116 (1995) 38) introduced context and higher-order bisimulations, respectively. In this paper, uniqueness of

Zhang, S, Feng, Y, Sun, X & Ying, M 2001, 'Upper bound for the success probability of unambiguous discrimination among quantum states', Physical Review A Atomic Molecular and Optical Physics, vol. 64, no. 6, p. 062103/3.
View description>>

The general prediction of n quantum states was examined. An upper bound for success probability of unambiguous discrimination was established. The bound coincides with the known extended IDP limit when two states are concerned.

Zhang, SY, Feng, Y, Sun, XM & Ying, MS 2001, 'Upper bound for the success probability of unambiguous discrimination among quantum states', PHYSICAL REVIEW A, vol. 64, no. 6, pp. 3-3.
View/Download from: Publisher's site
View description>>

One strategy to the discrimination problem is to identify the state with certainty, leaving a possibility of undecidability. This paper gives an upper bound for the maximal success probability of unambiguous discrimination among n states. This bound coincides with the known IDP limit when two states are considered. © 2001 The American Physical Society.