MPG.eBooks - Search Results - "choreographer"

Cover Image

1

Formal Techniques for Computer Systems and Business Processes : European Performance Engineering Workshop, EPEW 2005 and International Workshop on Web Services and Formal Methods,...

Published 2005

Springer Berlin Heidelberg

Table of Contents: “... Diffusion Approximation Model of an Electronic-Optical Node -- WS-FM -- Choreographing Security...”