8 search results - page 1 / 2 » Composition of Services with Nondeterministic Observable Beh... |
ICSOC
2005
Springer
13 years 10 months ago
2005
Springer
SERVICES
2008
13 years 6 months ago
2008
an abstract form of service composition where Web services are represented as nondeterministic communicating automata. Considering the case in which communication is done via chan...
BIRTHDAY
2005
Springer
13 years 10 months ago
2005
Springer
Abstract. We study a process algebra which combines both nondeterministic and probabilistic behavior in the style of Segala and Lynch’s simple probabilistic automata. We consider...
CONCUR
2001
Springer
13 years 9 months ago
2001
Springer
We present a process algebraic approach for extending to the probabilistic setting the classical logical information flow analysis of computer systems. In particular, we employ a ...
ICWS
2004
IEEE
13 years 6 months ago
2004
IEEE
The advent of Web services has made automated workflow composition relevant to Web based applications. One technique that has received some attention, for automatically composing ...