Technical Report Number
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.
Udding, Jan Tijmen and Verhoeff, Tom, "The Mathematics of Directed Specifications" Report Number: WUCS-88-20 (1988). All Computer Science and Engineering Research.