dblp.uni-trier.dewww.uni-trier.de

Peter Massuthe

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2009
11EEChristian Stahl, Peter Massuthe, Jan Bretschneider: Deciding Substitutability of Services with Operating Guidelines. T. Petri Nets and Other Models of Concurrency 2: 172-191 (2009)
2008
10EEPeter Massuthe, Daniela Weinberg: Fiona: A Tool to Analyze Interacting Open Nets. AWPN 2008: 99-104
9EENiels Lohmann, Peter Massuthe, Christian Stahl, Daniela Weinberg: Analyzing interacting WS-BPEL processes using flexible model generation. Data Knowl. Eng. 64(1): 38-54 (2008)
8EEPeter Massuthe, Alexander Serebrenik, Natalia Sidorova, Karsten Wolf: Can I find a partner? Undecidability of partner existence for open nets. Inf. Process. Lett. 108(6): 374-378 (2008)
2007
7EENiels Lohmann, Peter Massuthe, Karsten Wolf: Behavioral Constraints for Services. BPM 2007: 271-287
6EEWolfgang Reisig, Jan Bretschneider, Dirk Fahland, Niels Lohmann, Peter Massuthe, Christian Stahl: Services as a Paradigm of Computation. Formal Methods and Hybrid Real-Time Systems 2007: 521-538
5EENiels Lohmann, Peter Massuthe, Karsten Wolf: Operating Guidelines for Finite-State Services. ICATPN 2007: 321-341
4EEWil M. P. van der Aalst, Niels Lohmann, Peter Massuthe, Christian Stahl, Karsten Wolf: From Public Views to Private Views - Correctness-by-Design for Services. WS-FM 2007: 139-153
2006
3EENiels Lohmann, Peter Massuthe, Christian Stahl, Daniela Weinberg: Analyzing Interacting BPEL Processes. Business Process Management 2006: 17-32
2EEPeter Massuthe, Karsten Wolf: An Algorithm for Matching Nondeterministic Services with Operating Guidelines. The Role of Business Processes in Service Oriented Architectures 2006
2005
1EEPeter Massuthe, Karsten Schmidt: Operating Guidelines - an Automata-Theoretic Foundation for the Service-Oriented Architecture. QSIC 2005: 452-457

Coauthor Index

1Wil M. P. van der Aalst [4]
2Jan Bretschneider [6] [11]
3Dirk Fahland [6]
4Niels Lohmann [3] [4] [5] [6] [7] [9]
5Wolfgang Reisig [6]
6Alexander Serebrenik [8]
7Natalia Sidorova [8]
8Christian Stahl [3] [4] [6] [9] [11]
9Daniela Weinberg [3] [9] [10]
10Karsten Wolf (Karsten Schmidt) [1] [2] [4] [5] [7] [8]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)