메뉴 건너뛰기




Volumn 3921 LNCS, Issue , 2006, Pages 32-46

Smooth orchestrators

Author keywords

[No Author keywords available]

Indexed keywords

ORCHESTRATORS; WEB SERVICES; WORKFLOW PATTERNS;

EID: 33745775186     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11690634_3     Document Type: Conference Paper
Times cited : (15)

References (15)
  • 3
    • 26444447069 scopus 로고    scopus 로고
    • A distributed implementation of mobile nets as mobile agents
    • Proceedings of the 7th IFIP International Conference on Formal Methods for Open Object Based Distributed Systems (FMOODS 2005), Springer Verlag
    • Busi, N., Padovani, L.: A distributed implementation of mobile nets as mobile agents. In: Proceedings of the 7th IFIP International Conference on Formal Methods for Open Object Based Distributed Systems (FMOODS 2005). Volume 3535 of LNCS., Springer Verlag (2005) 259-274
    • (2005) LNCS , vol.3535 , pp. 259-274
    • Busi, N.1    Padovani, L.2
  • 4
    • 33646124701 scopus 로고    scopus 로고
    • PiDuce: A process calculus with native XML datatypes
    • 2nd International Workshop on Web Services and Formal Methods (WS-FM 2005), Springer Verlag
    • Brown, A., Laneve, C., Meredith, G.L.: PiDuce: a process calculus with native XML datatypes. In: 2nd International Workshop on Web Services and Formal Methods (WS-FM 2005). Volume 3670 of LNCS., Springer Verlag (2005) 18-34
    • (2005) LNCS , vol.3670 , pp. 18-34
    • Brown, A.1    Laneve, C.2    Meredith, G.L.3
  • 7
    • 35248824972 scopus 로고    scopus 로고
    • Linear forwarders
    • R. Amadio, D.L., ed.: CONCUR 2002, Springer-Verlag
    • Gardner, P., Laneve, C., Wischik, L.: Linear forwarders. In R. Amadio, D.L., ed.: CONCUR 2002. Volume 2761 of Lecture Notes in Computer Science., Springer-Verlag (2003) 415-430
    • (2003) Lecture Notes in Computer Science , vol.2761 , pp. 415-430
    • Gardner, P.1    Laneve, C.2    Wischik, L.3
  • 9
    • 19144364635 scopus 로고    scopus 로고
    • Compiling join-patterns
    • Nestmann, U., Pierce, B.C., eds.: Proceedings of High-Level Concurrent Languages '98. Volume 16.3
    • Le Fessant, F., Maranget, L.: Compiling join-patterns. In Nestmann, U., Pierce, B.C., eds.: Proceedings of High-Level Concurrent Languages '98. Volume 16.3 of Electronic Notes in Computer Science. (1998)
    • (1998) Electronic Notes in Computer Science
    • Le Fessant, F.1    Maranget, L.2
  • 10
    • 0004002694 scopus 로고    scopus 로고
    • Web services flow language (wsfl 1.0)
    • IBM Software Group
    • Leymann, F: Web Services Flow Language (wsfl 1.0). Technical report, IBM Software Group (2001)
    • (2001) Technical Report
    • Leymann, F.1
  • 12
    • 84968816021 scopus 로고
    • Barbed bisimulation
    • Proceedings of ICALP '92, Springer-Verlag
    • Milner, R., Sangiorgi, D.: Barbed bisimulation. In: Proceedings of ICALP '92. Volume 623 of Lecture Notes in Computer Science., Springer-Verlag (1992) 685-695
    • (1992) Lecture Notes in Computer Science , vol.623 , pp. 685-695
    • Milner, R.1    Sangiorgi, D.2


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