**Arató Mátyás - Varga László (szerk.)**: Mathematical models in computer systems: Proceedings of the Third Hungarian Computer Science Conference: Budapest, January 1981 - Proceedings of Hungarian computer science conference 3. (Budapest, 1981)

Mathematical Models In Computer Systems Edited by M. Arató and L. Varga This volume contains 25 papers selected from the lectures presented at the Third Hungarian Computer Science Conference held in Budapest, Hungary in January 1981. The conference was attended by 204 researchers and practitioners from 16 countries to discuss the main issues of computer science. The field of the Conference was complex and diverse. The papers of this volume were selected to ensure adequate exposure of some of the main theoretical and practical topics discussed at the Conference. The selection focussed on the following themes: formal specifications; formal languages and automata; program and data analysis; complexity; performance evaluation; data processing; distributed systems. AKADÉMIAI KIADÓ BUDAPEST