Towards a formal framework for workflow interoperability
Sarah Induruwa−Fernando and Andrew Simpson
Details
| Book Title |
Proceedings of WS−FM (Web Services and Formal Methods) 2008 |
| Pages |
158–174 |
| Publisher |
Springer−Verlag |
| Series |
Lecture Notes in Computer Science |
| Volume |
5387 |
| Year |
2008 |
Links
Related pages
|
People |
|
|
Activities |
|
|
Themes |
