Semantics of Systems of Concurrent Processes: Litp Spring School on Theoretical Computer Science, La Roche Posay, France, April 23-27, 1990. Proceedin (Lecture Notes in Computer Science)

This volume is the proceedings of a 1990 Spring School devoted to the semantics of concurrency. Surveys and tutorials introduce the subject to novices and students and give updates of the state of the art, and research papers present recent achievements in the field.

• Format: Paperback
• Language: English
• ISBN: 3540534792
• ISBN13: 9783540534792
• Release Date: November 1990
• Publisher: Springer
• Length: 457 Pages
• Weight: 1.63 lbs.
• Dimensions: 0.9" x 6.7" x 9.6"