메뉴 건너뛰기




Volumn , Issue , 2002, Pages 245-248

Identifying cause and effect relations between events in concurrent event-based components

Author keywords

[No Author keywords available]

Indexed keywords

SPECIFICATIONS;

EID: 84982913995     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ASE.2002.1115021     Document Type: Conference Paper
Times cited : (2)

References (7)
  • 1
    • 47649132968 scopus 로고    scopus 로고
    • Identifying Cause & Effect Relations between Events in Concurrent Event-Based Components
    • UC Irvine
    • M. Dias, D. Richardson, "Identifying Cause & Effect Relations between Events in Concurrent Event-Based Components", ICS Technical Report, UC Irvine, 2002.
    • (2002) ICS Technical Report
    • Dias, M.1    Richardson, D.2
  • 2
    • 84976776264 scopus 로고
    • Go To Statement Considered Harmful
    • Mar.
    • Dijkstra. Go To Statement Considered Harmful. Communications of the ACM, Mar. 1968.
    • (1968) Communications of the ACM
    • Dijkstra1
  • 4
    • 0017996760 scopus 로고
    • Time, Clocks, and the Ordering of Events in a Distributed System
    • July
    • L. Lamport. Time, Clocks, and the Ordering of Events in a Distributed System. Communications of the ACM, vol. 21. n. 7, July 1978.
    • (1978) Communications of the ACM , vol.21 , Issue.7
    • Lamport, L.1
  • 5
    • 0021865922 scopus 로고
    • On Formalism in Specifications
    • Jan.
    • B. Meyer. On Formalism in Specifications. IEEE Software, 2(1):6-26, Jan. 1985.
    • (1985) IEEE Software , vol.2 , Issue.1 , pp. 6-26
    • Meyer, B.1


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