Semantics of Systems of Concurrent Processes: LITP Spring School on Theoretical Computer Science, La Roche Posay, France, April 23–27, 1990 Proceedings - Couverture souple

 
9783540534792: Semantics of Systems of Concurrent Processes: LITP Spring School on Theoretical Computer Science, La Roche Posay, France, April 23–27, 1990 Proceedings

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.

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.

Autres éditions populaires du même titre

9780387534794: Semantics of Systems of Concurrent Processes Litp Spring School on Theoretical Computer Science, Laroche Posay, France, April 23-27, 1990)

Edition présentée

ISBN 10 :  0387534792 ISBN 13 :  9780387534794
Editeur : Springer-Verlag, 1991
Couverture souple