Semantics of Systems of Concurrent Processes: LITP Spring School on Theoretical Computer Science, La Roche Posay, France, April 23â 27, 1990 Proceedings (Lecture Notes in Computer Science)

ISBN 10: 3540534792 / ISBN 13: 9783540534792

Published by Springer, 1990

About this Item

A copy that has been read, remains in good condition. All pages are intact, and the cover is intact. The spine and cover show signs of wear. Pages can include notes and highlighting and show signs of wear, and the copy can include "From the library of" labels or previous owner inscriptions. 100% GUARANTEE! Shipped with delivery confirmation, if you're not satisfied with purchase please return item! Ships via media mail.

Seller Inventory # OTV.3540534792.G

Bibliographic Details

• Title: Semantics of Systems of Concurrent Processes: LITP Spring School on Theoretical Computer Science, La Roche Posay, France, April 23â 27, 1990 Proceedings (Lecture Notes in Computer Science)
• Publisher: Springer
• Publication Date: 1990
• Language: English
• ISBN 10: 3540534792
• ISBN 13: 9783540534792
• Binding: Soft cover
• Condition: good

About this title

Synopsis

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.