MULTIFACETED DISTRIBUTED SYSTEMS SPECIFICATION USING PROCESSES AND EVENT SYNCHRONIZATION.

Proceedings - International Conference on Software Engineering

Volumn , Issue , 1984, Pages 44-55

  Roman, Grnia Catalin ^a   Day, Mark S ^a  

^a NONE

Author keywords

[No Author keywords available]

Indexed keywords

COMMUNITY OF PROCESSES; DISTRIBUTED SYSTEMS MODELLING; FORMAL FOUNDATION; PERFORMANCE PROPERTIES; SCHEDULER CONCEPT; VIRTUAL SYSTEMS;

COMPUTER SYSTEMS, DIGITAL;

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

References (0)