http://ceur-ws.org/Vol-601/EOMAS10_paper3.pdf
A webservice is called compatible if its underlying interacting services is such that each service terminate properly.
http://books.google.de/books?id=oHNrI5vkfZEC&pg=PA127&lpg=PA127&dq=web+service++algebra+choice+operators&source=bl&ots=ErW2_KECEm&sig=qf9Af23ndy1n3EliwwYreoFCj6s&hl=en&sa=X&ei=0x7kUr-aEcGShgeuiIHADA&redir_esc=y#v=onepage&q=web%20service%20%20algebra%20choice%20operators&f=false
Bisimulation relation video
http://www.youtube.com/watch?v=7xpaNpdmozE
http://www.doc.ic.ac.uk/~pg/Concurrency/cc6.pdf
No comments:
Post a Comment