Title

The Mathematics of Directed Specifications

Authors

Jan Tijmen Udding, Washington University in St. Louis
Tom Verhoeff, Eindhoven University of Technology

Document Type

Technical Report

Publication Date

1988-06-01

Filename

WUCS-88-20.pdf

DOI:

10.7936/K7FQ9TXZ

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.

Comments

Permanent URL: http://dx.doi.org/10.7936/K7FQ9TXZ

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