论文信息 - A Metric for Traces

A Metric for Traces

We have derived an ultrametric suitable for the domain of traces, which constitutes a natural generalization of the standard metric used in the complete metric space of strings. The results presented here have applications in the denotational semantics for concurrency. As opposed to the domain-theoretic approach, the metric-space approach guarantees unique solutions to reflexive domain equations

Marta Z. Kwiatkowska | M. Kwiatkowska

[1] Maurice Nivat,et al. Adherences of Languages , 1980, J. Comput. Syst. Sci..

[2] A. Mazurkiewicz. Concurrent Program Schemes and their Interpretations , 1977 .

[3] Michael B. Smyth,et al. Quasi Uniformities: Reconciling Domains with Metric Spaces , 1987, MFPS.

[4] J. W. de Bakker,et al. Processes and the Denotational Semantics of Concurrency , 1982, Inf. Control..

[5] Antoni W. Mazurkiewicz,et al. Basic notions of trace theory , 1988, REX Workshop.

[6] Marta Kwiatkowska,et al. Fairness for non-interleaving concurrency , 1989 .

[7] Jimmie D. Lawson. The Versatile Continuous Order , 1987, MFPS.

[8] G Comyn,et al. Metric approximations in ordered domains , 1986 .