Author :
Ravn, Anders P. ; Staunstrup, JØrgen
Author_Institution :
Dept. of Comput. Sci., Tech. Univ. Denmark, Lyngby, Denmark
Abstract :
This paper proposes a model for specifying interfaces between concurrently executing modules of a computing system. The model does not prescribe a particular type of communication protocol and is aimed at describing interfaces between both software and hardware modules or a combination of the two. The model describes both functional and timing properties of an interface
Keywords :
computer interfaces; computing system; concurrently executing modules; functional properties; interfaces model; timing properties; Computer interfaces; Computer languages; Computer science; Concurrent computing; Databases; Delay; Electronic mail; Hardware; Protocols; Timing;
Conference_Titel :
Hardware/Software Codesign, 1994., Proceedings of the Third International Workshop on
Conference_Location :
Grenoble
Print_ISBN :
0-8186-6315-4
DOI :
10.1109/HSC.1994.336711
