메뉴 건너뛰기




Volumn , Issue , 2006, Pages 203-208

Modeling service interactions using Kahn process network

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL METHODS; DISTRIBUTED COMPUTER SYSTEMS; INTERNET; MATHEMATICAL MODELS; TELECOMMUNICATION LINKS; TELECOMMUNICATION SERVICES;

EID: 38949203368     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/PDCAT.2006.81     Document Type: Conference Paper
Times cited : (6)

References (12)
  • 1
    • 4544277896 scopus 로고    scopus 로고
    • Describing and Reasoning on Web Services using Process Algebra
    • IEEE CSP, p, Extended version to appear in the IJBPIM journal
    • G. Salaün, L. Bordeaux and M. Schaerf. Describing and Reasoning on Web Services using Process Algebra. Proc. of ICWS'04, IEEE CSP, p. 43-51. Extended version to appear in the IJBPIM journal.
    • Proc. of ICWS'04 , pp. 43-51
    • Salaün, G.1    Bordeaux, L.2    Schaerf, M.3
  • 6
    • 38949217720 scopus 로고    scopus 로고
    • W. Aalst, V. H. and Houben, G.. Modelling workflow management systems with high-level petri nets. In Proceedings of the second Workshop on Computer Supported Cooperative Work, Petrinets and related formalisms, pages 31-50, 1994.
    • W. Aalst, V. H. and Houben, G.. Modelling workflow management systems with high-level petri nets. In Proceedings of the second Workshop on Computer Supported Cooperative Work, Petrinets and related formalisms, pages 31-50, 1994.
  • 7
    • 0000087207 scopus 로고
    • The semantics of a simple language for parallel programming
    • J. L. Rosenfeld, editor, Stockholm, Aug
    • G. Kahn. The semantics of a simple language for parallel programming. In J. L. Rosenfeld, editor, Information Processing 74: Proceedings of IFIP Congress, pages 471-475, Stockholm, Aug. 1974.
    • (1974) Information Processing 74: Proceedings of IFIP Congress , pp. 471-475
    • Kahn, G.1


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