Mathematical Foundations of Computer Science 1996: 21st International Symposium, Mfcs '96, Crakow, Poland, September 2-6, 1996 
Subtitle: Proceedings (Lecture Notes in Computer Science, 1113)
Contributors: Symposium on Mathematical Foundations of Computer Science (Corporate Author); Wojciech Penczek (Editor); Andrzej Szaas (Editor)
Publisher: Springer
Published: June 1996
Language: eng
Format: Paperback
Number of pages: 592
ISBN-13: 9783540615507
Subjects: Mathematical theory of computation; Science/Mathematics; Computers - General Information; Computer Books: General; Computers; Programming - Software Development; Mathematics; Congresses; Machine Theory; Computer Science
First sentence: Free partially commutative monoids [7] offer a mathematically sound framework for modelling and analyzing concurrent systems.
Description: "This book constitutes the refereed proceedings of the 21st International Symposium on Mathematical Foundations of Computer Science, MFCS '96, held in Crakow, Poland in September 1996. The volume presents 35 revised full papers selected from a total of 95 submissions together with 8 invited papers and 2 abstracts of invited talks. The papers included cover issues from the whole area of theoretical computer science, with a certain emphasis on mathematical and logical foundations. The 10 invited presentations are of particular value."--PUBLISHER'S WEBSITE.