Is it fair to say that given orchestration/choreography, a
composition of processes using services could be described
by a process calculus such as pi calculus?
Readers of the CG list know the sources for this. Lurkers
may wish to query answers.com for a short overview of
pi calculus and process calculus.
I wonder if the SOA Reference Model can be described using
a pi calculus notation. Really don't know....
len