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

• Authors:

• Job Zwiers;Ulrich Hannemann;Yassine Lakhnech;Willem P. de Roever

• Affiliations:

• -;-;-;-

• Venue:
• Proceedings of the 15th Conference on Foundations of Software Technology and Theoretical Computer Science
• Year:
• 1995