Mathematical methods of specification and synthesis of software systems '85

proceedings of the international spring school, Wendisch-Rietz, GDR, April 22-26, 1985

CAAP'86

proceedings

Interval mathematics 1985

proceedings

Complexity and structure

The Analysis of concurrent systems

proceedings, Cambridge, September 12-16, 1983