This page in English
SucheRefinement of Components in Connection-Safe Assemblies with Synchronous and Asynchronous Communication
Rolf Hennicker, Stephan Janisch, Alexander Knapp
In: Christine Choppy, Oleg Sokolsky (Hgg.). Proc. 15th Int. Wsh. Monterey. Future Trends and Techniques for Development (Monterey'08), Revised and Selected Papers. Lect. Notes Comp. Sci. 6028. Springer, Berlin, 2008. S. 154-180.
DOI:
http://dx.doi.org/10.1007/978-3-642-12566-9_9