MODEL AND TEMPORAL PROOF SYSTEM FOR NETWORKS OF PROCESSES.

Conference Record of the Annual ACM Symposium on Principles of Programming Languages

Volumn , Issue , 1985, Pages 121-131

  Nguyen, Van ^a   Gries, David ^a   Owicki, Susan ^a  

^a Department of Obstetrics Gynecology

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SYSTEMS PROGRAMMING - MULTIPROCESSING PROGRAMS; COMPUTERS - DATA COMMUNICATION SYSTEMS;

ASYNCHRONOUS NETWORKS; SYNCHRONOUS NETWORKS; TEMPORAL PROOF SYSTEM FOR NETWORK OF PROCESSES;

COMPUTER NETWORKS;

EID: 0022207778     PISSN: 07308566     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (23)