메뉴 건너뛰기




Volumn 9, Issue 2, 2001, Pages 155-165

Dynamic task communication for concurrent processing in distributed systems

Author keywords

Concurrent systems; Distributed processing; Formal system specification; Process algebra; Task synchronization

Indexed keywords

COMMUNICATION SYSTEMS; COMPUTER AIDED SOFTWARE ENGINEERING; COMPUTER ARCHITECTURE; CONCURRENT ENGINEERING; GRAPHICAL USER INTERFACES;

EID: 0035360191     PISSN: 1063293X     EISSN: None     Source Type: Journal    
DOI: 10.1177/1063293X0100900209     Document Type: Article
Times cited : (4)

References (20)
  • 6
    • 0029292750 scopus 로고
    • A hybrid systems approach to computer-aided control engineering
    • (1995) IEEE Control Systems , vol.4 , pp. 14-25
    • Kohn1
  • 16
    • 0002172477 scopus 로고
    • The linear time-branching time spectrum II; The semantics of sequential systems with silent moves
    • E. Best, Ed., Springer-Verlag, Berlin
    • (1993) CONCUR'93
    • Van Glabbeek, R.J.1


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.