Document Type
Technical Report
Publication Date
1988-06-01
Technical Report Number
WUCS-88-20
Abstract
In this paper we lay a mathematical foundation for processes that communicate via directed communication channels. We start from a collection of primitive specifications. Particular correctness concerns partition this collection into equivalence classes, which can serve as abstract specifications. The theory is illustrated by taking as correctness concern absence of computation interference. In this case the abstract specification space can be identified with the space of delay-insensitive specifications.
Recommended Citation
Udding, Jan Tijmen and Verhoeff, Tom, "The Mathematics of Directed Specifications" Report Number: WUCS-88-20 (1988). All Computer Science and Engineering Research.
https://openscholarship.wustl.edu/cse_research/777
Comments
Permanent URL: http://dx.doi.org/10.7936/K7FQ9TXZ