Refinement 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: