Peter Massuthe
Loading Google Thumbnails...
| 2010 |
|---|
| 6 | Multiparty Contracts: Agreeing and Implementing Interorganizational Processes. Wil M. P. van der Aalst, Niels Lohmann, Peter Massuthe, Christian Stahl, Karsten Wolf. Comput. J. (53): 90-106 (2010). Web SearchBibTeXDownload |
| 2009 |
|---|
| 5 | Compositional Service Trees. Wil M. P. van der Aalst, Kees M. van Hee, Peter Massuthe, Natalia Sidorova, Jan Martijn E. M. van der Werf. Petri Nets 2009, 283-302. Web SearchBibTeXDownload |
| 2008 |
|---|
| 4 | Can I find a partner? Undecidability of partner existence for open nets. Peter Massuthe, Alexander Serebrenik, Natalia Sidorova, Karsten Wolf. Inf. Process. Lett. (108): 374-378 (2008). Web SearchBibTeXDownload |
| 2007 |
|---|
| 3 | Services as a Paradigm of Computation. Wolfgang Reisig, Jan Bretschneider, Dirk Fahland, Niels Lohmann, Peter Massuthe, Christian Stahl. Formal Methods and Hybrid Real-Time Systems 2007, 521-538. Web SearchBibTeXDownload |
| 2 | From Public Views to Private Views - Correctness-by-Design for Services. Wil M. P. van der Aalst, Niels Lohmann, Peter Massuthe, Christian Stahl, Karsten Wolf. WS-FM 2007, 139-153. Web SearchBibTeXDownload |
| 2006 |
|---|
| 1 | Analysis Techniques for Service Models. Wolfgang Reisig, Dirk Fahland, Niels Lohmann, Peter Massuthe, Christian Stahl, Daniela Weinberg, Karsten Wolf, Kathrin Kaschner. ISoLA 2006, 11-17. Web SearchBibTeXDownload |
from DBLP and Google Scholar
