Equivalences on Observable Processes (1992)
by
Irek Ulidowski
| Venue: | In Proceedings of the 7th Annual IEEE Symposium on Logic in Computer Science |
| Citations: | 20 - 6 self |
BibTeX
@INPROCEEDINGS{Ulidowski92equivalenceson,
author = {Irek Ulidowski},
title = {Equivalences on Observable Processes},
booktitle = {In Proceedings of the 7th Annual IEEE Symposium on Logic in Computer Science},
year = {1992},
pages = {148--159},
publisher = {IEEE Computer Society Press}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
The aim of this paper is to nd the nest `observable ' and `implementable' equivalence on concurrent processes. This is a part of a larger programme to develop a theory of observable processes where semantics of processes are based on locally and nitely observable process behaviour, and all process constructs are allowed, provided their operational meaning is de ned by realistically implementable transition rules.
