메뉴 건너뛰기




Volumn 3, Issue 2, 2004, Pages 108-125

Run-time monitoring and enforcement of electronic contracts

Author keywords

Contract; Contract enforcement; Contract representation; Correctness requirements; Electronic contract; Finite state machine; Model checking; Validation

Indexed keywords

COMPUTER PROGRAMMING; CONTRACTS; FINITE AUTOMATA; MONITORING;

EID: 2342458377     PISSN: 15674223     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.elerap.2004.02.003     Document Type: Conference Paper
Times cited : (34)

References (17)
  • 15
    • 0000788149 scopus 로고    scopus 로고
    • Law-governed interaction: A coordination and control mechanism for heterogeneous distributed systems
    • Naftaly H. Minsky, Victoria Ungureanu, Law-governed interaction: a coordination and control mechanism for heterogeneous distributed systems. ACM TOSEM (3) (2000) 273-305.
    • (2000) ACM TOSEM (3) , pp. 273-305
    • Minsky, N.H.1    Ungureanu, V.2
  • 17
    • 2342490241 scopus 로고    scopus 로고
    • Scalable regulation of inter-enterprise electronic commerce
    • Proceedings of the Second Ineternational Workshop, WELCOM 2001 Heidelberg, Germany, November, Springer, Berlin
    • Naftaly H. Minsky, Victoria Ungureanu, Scalable regulation of inter-enterprise electronic commerce, in: Proceedings of the Second Ineternational Workshop, WELCOM 2001 Heidelberg, Germany, November 2001, Lecture Notes in Computer Science, vol. 2232, Springer, Berlin.
    • (2001) Lecture Notes in Computer Science , vol.2232
    • Minsky, N.H.1    Ungureanu, V.2


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