A Timed Model for Communicating Sequential Processes (1988)
by
G. M. Reed
,
A. W. Roscoe L
| Venue: | Theoretical Computer Science |
| Citations: | 142 - 7 self |
BibTeX
@INPROCEEDINGS{Reed88atimed,
author = {G. M. Reed and A. W. Roscoe L},
title = {A Timed Model for Communicating Sequential Processes},
booktitle = {Theoretical Computer Science},
year = {1988},
pages = {314--323}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
The parallel language CSP [H,1985], an earlier version of which was described in [H,1978], has become a major tool for the analysis of structuring methods and proof systems involving paxal-
