Skip to main content

Publications

Books

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.
View/Download from: UTS OPUS

Chapters

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

Journal articles

Rohde, K & Rohde, PP 2001, 'Fuzzy chaos: Reduced chaos in the combined dynamics of several independently chaotic populations', AMERICAN NATURALIST, vol. 158, no. 5, pp. 553-556.
View/Download from: Publisher's site

Ying, M 2001, 'Fuzzy Topology Based On Residuated Lattice-Valued Logic', Acta Mathematica Sinica-English Series, vol. 17, no. 1, pp. 89-102.
View/Download from: UTS OPUS
View description>>

Ying, M & Wirsing, M 2001, 'Recursive Equations In Higher-Order Process Calculi', Theoretical Computer Science, vol. 266, no. 1-Feb, pp. 839-852.
View/Download from: UTS OPUS or Publisher's site
View description>>

Zhang, S, Feng, Y, Sun, X & Ying, M 2001, 'Upper Bound For The Success Probability Of Unambiguous Discrimination Among Quantum States', Physical Review A, vol. 64, no. 6, pp. 1-3.
View/Download from: UTS OPUS
View description>>

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.
View description>>

Conferences

Blumenstein, M & Verma, B 2001, 'Analysis of segmentation performance on the CEDAR benchmark database', Proceedings of the International Conference on Document Analysis and Recognition, ICDAR, pp. 1142-1146.
View/Download from: Publisher's site
View description>>