S/R: A LANGUAGE FOR SPECIFYING PROTOCOLS AND OTHER COORDINATING PROCESSES.

Conference Proceedings - Annual Phoenix Conference

Volumn , Issue , 1986, Pages 286-292

  Katzenelson, Jacob ^a   Kurshan, Robert ^a  

^a TECHNION ISRAEL INSTITUTE OF TECHNOLOGY   (Israel)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATA THEORY - FINITE AUTOMATA; COMPUTER HARDWARE DESCRIPTION LANGUAGES; LOGIC DESIGN; MATHEMATICAL MODELS;

'STATE SPACE EXPLOSION'; CONCURRENT PROCESSES; HARDWARE/SOFTWARE IMPLEMENTATION; S/R INPUT LANGUAGE; SELECTION/RESOLUTION MODEL;

COMPUTER NETWORKS;

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

References (9)