Martin Wirsing, Rocco De Nicola, Stephen Gilmore, Matthias M. Hölzl, Roberto Lucchi, Mirco Tribastone, and Gianluigi Zavattaro. Sensoria process calculi for service-oriented computing. In Ugo Montanari, Donald Sannella, and Roberto Bruni, editors, Trustworthy Global Computing, Second Symposium, TGC 2006, Lucca, Italy, November 7-9, 2006, Revised Selected Papers, volume 4661 of Lecture Notes in Computer Science, pages 30–50. Springer, 2007.
Shiping Yang and Martin Wirsing. A Formal Framework for Living Cooperative Information Systems. In Khaled Elleithy, editor, Advances and Innovations in Systems, Computing Sciences and Software Engineering, pages 399–404. Springer, Netherlands, 2007.
Hubert Baumeister, Florian Hacklinger, Rolf Hennicker, Alexander Knapp, and Martin Wirsing. A Component Model for Architectural Programming. In Luis Barbosa and Zhiming Liu, editors, Proc. 2nd Int. Wsh. Formal Aspects of Component Software (FACS'05), volume 160 of Elect. Notes Theo. Comp. Sci., pages 75–96, 2006.
Jose Fiadeiro, Ugo Montanari, and Martin Wirsing, editors. Foundations of Global Computing. Number 05081 in Dagstuhl Seminar Proceedings. Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany, 2006.
Alexander Knapp, Stephan Merz, Martin Wirsing, and Julia Zappe. Specification and Refinement of Mobile Systems in MTLA and Mobile UML. Theoretical Computer Science, 351(2):184–202, 2006.
Martin Wirsing, Rocco De Nicola, Stephen Gilmore, Matthias Hölzl, Roberto Lucchi, Mirco Tribastone, and Gianluigi Zavattaro. SENSORIA Process Calculi for Service-Oriented Computing. In Ugo Montanari, Don Sanella, and Roberto Bruni, editors, Second Symposium on Trustworthy Global Computing (TGC 2006), Lucca, Italy, volume 4461 of LNCS, pages 30–50. Springer, 2006.
Martin Wirsing, Allan Clark, Stephen Gilmore, Matthias Hölzl, Alexander Knapp, Nora Koch, and Andreas Schroeder. Semantic-Based Development of Service-Oriented Systems. In E. Najn et al., editor, Proc. 26th IFIP WG 6.1 International Conference on Formal Methods for Networked and Distributed Systems (FORTE'06), Paris, France, LNCS 4229, pages 24–45. Springer Verlag, September 2006.
Martin Wirsing and Matthias Hölzl. Software Intensive Systems. In Dimitris Plexousakis, editor, Anticipating Future and Emerging Information Society Technologies, ERCIM EEIG, May 2006.
Shiping Yang and Martin Wirsing. Towards Living Cooperative Information Systems for Virtual Organizations Using Living Systems Theory. In Tarek Sobh and Khaled Elleithy, editors, Advances and Innovations in Systems, Computing Sciences and Software Engineering, pages 309–316. Springer Verlag, 2006.
Dang Van Hung and Martin Wirsing. Theoretical Aspects of Computing - ICTAC 2005, Second International Colloquium, Hanoi, Vietnam, October 17-21, volume 3722 of Lecture Notes in Computer Science. Springer, 2005.