Metric spaces as models for real-time concurrency (1987)
by
G. M. Reed
,
A. W. Roscoe
| Citations: | 39 - 3 self |
BibTeX
@INPROCEEDINGS{Reed87metricspaces,
author = {G. M. Reed and A. W. Roscoe},
title = {Metric spaces as models for real-time concurrency},
booktitle = {},
year = {1987},
pages = {331--343},
publisher = {Springer Verlag}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
Abstract. We propose a denotational model for real time concurrent systems, based on the failures model for CSP. The fixed point theory is based on the Banach fixed point theorem for complete metric spaces, since the introduction of time as a measure makes all recursive operators naturally contractive. This frees us from many of the constraints imposed by partial orders on the treatment of nondeterminism and divergence. 1
