Operating Guidelines - an Automata-Theoretic Foundation for the Service-Oriented Architecture. - Peter Massuthe; Karsten Schmidt 004 (QSIC, 2005)

Analyzing Interacting BPEL Processes. - Niels Lohmann; Peter Massuthe; Christian Stahl; Daniela Weinberg (Business Process Management, 2006)

An Algorithm for Matching Nondeterministic Services with Operating Guidelines. - Peter Massuthe; Karsten Wolf (The Role of Business Processes in Service Oriented Architectures, 2006)

Analysis Techniques for Service Models. - Wolfgang Reisig; Dirk Fahland; Niels Lohmann; Peter Massuthe; Christian Stahl; Daniela Weinberg; Karsten Wolf; Kathrin Kaschner (ISoLA, 2006)

Operating Guidelines for Finite-State Services. - Niels Lohmann; Peter Massuthe; Karsten Wolf (ICATPN, 2007)

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)

Behavioral Constraints for Services. - Niels Lohmann; Peter Massuthe; Karsten Wolf (BPM, 2007)

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)

Challenges in a Service-Oriented World. - Wolfgang Reisig; Karsten Wolf; Jan Bretschneider; Kathrin Kaschner; Niels Lohmann; Peter Massuthe; Christian Stahl (ERCIM News, 2007)

An algorithm for matching non-deterministic services with operating guidelines. - Peter Massuthe; Karsten Wolf (Int. J. Bus. Process. Integr. Manag., 2007)

Fiona: A Tool to Analyze Interacting Open Nets. - Peter Massuthe; Daniela Weinberg (AWPN, 2008)

Analyzing interacting WS-BPEL processes using flexible model generation. - Niels Lohmann; Peter Massuthe; Christian Stahl; Daniela Weinberg (Data Knowl. Eng., 2008)

Can I find a partner? Undecidability of partner existence for open nets. - Peter Massuthe; Alexander Serebrenik; Natalia Sidorova; Karsten Wolf (Inf. Process. Lett., 2008)

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)

Deciding Substitutability of Services with Operating Guidelines. - Christian Stahl; Peter Massuthe; Jan Bretschneider (Trans. Petri Nets Other Model. Concurr., 2009)

Operating guidelines for services. - Peter Massuthe (2009)

Multiparty Contracts: Agreeing and Implementing Interorganizational Processes. - Wil M. P. van der Aalst; Niels Lohmann; Peter Massuthe; Christian Stahl; Karsten Wolf (Comput. J., 2010)