Synthesizing Different Development Paradigms: Combining Top-Down with Bottom-Up Reasoning About Distributed Systems

Job Zwiers, Ulrich Hannemann, Yassine Lakhnech, Willem P. de Roever. Synthesizing Different Development Paradigms: Combining Top-Down with Bottom-Up Reasoning About Distributed Systems. In P. S. Thiagarajan, editor, Foundations of Software Technology and Theoretical Computer Science, 15th Conference, Bangalore, India, December 18-20, 1995, Proceedings. Volume 1026 of Lecture Notes in Computer Science, pages 80-95, Springer, 1995.

Authors

Job Zwiers

This author has not been identified. Look up 'Job Zwiers' in Google

Ulrich Hannemann

This author has not been identified. Look up 'Ulrich Hannemann' in Google

Yassine Lakhnech

This author has not been identified. Look up 'Yassine Lakhnech' in Google

Willem P. de Roever

This author has not been identified. Look up 'Willem P. de Roever' in Google