Artículo:

CSP-Based Verification for Web Service Orchestration and Choreography

Autor:

W.L. Yeung

Página:

65

Publicación:

Simulation

Volúmen:

83

Número:

1

Periodo:

Enero 2007

ISSN:

00375497

SrcID:

00375497-2007-01.txt