Concur '94: Concurrency Theory
Subtitle: 5th International Conference, Uppsala, Sweden, August 22 - 25, 1994. Proceedings (Lecture Notes in Computer Science)
Contributors: Bengt Jonsson (Editor); Joachim Parrow (Editor)
Publisher: Springer
Published: September 1994
Language: eng
Format: Paperback
Number of pages: 529
ISBN-13: 9783540583295
Subjects: Computer architecture & logic design; Mathematical theory of computation; Operating systems & graphical user interfaces (GUIs); Programming Languages - General; Data Processing - Parallel Processing; Computers - General Information; Logic Design
First sentence: Statecharts [Har87] is a highly structured and economical description language for complex, reactive systems [Pnu86, HP85], such as communication protocols and digital control units.
Description: "This volume constitutes the proceedings of the Fifth International Conference on Concurrency Theory, CONCUR '94, held at Uppsala, Sweden in August 1994. In total, 29 refereed research papers selected from 108 submissions for the conference are presented together with full papers or abstracts of the 5 invited talks by prominent speakers. The book contains recent results on all relevant aspects of concurrency research and thus competently documents the progress of the field since the predecessor conference CONCUR '93, the proceedings of which are published as LNCS 715"--PUBLISHER'S WEBSITE.