Correctness analysis for class of asynchronous communication mechanisms

IEE Proceedings E: Computers and Digital Techniques

Volumn 139, Issue 1, 1992, Pages 35-49

  Simpson, H R ^a  

^a BAE SYSTEMS   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

DATA STORAGE, DIGITAL; TELECOMMUNICATION;

ASYNCHRONOUS COMMUNICATION; CONCURRENT PROCESSES; SHARED MEMORIES;

DATA TRANSMISSION;

EID: 0026436369     PISSN: 01437062     EISSN: None     Source Type: Journal    
DOI: 10.1049/ip-e.1992.0006     Document Type: Article

References (17)