Semantics of systems of concurrent processes : LITP Spring School on Theoretical Computer Science, La Roche Posay, France, April 23-27, 1990 : proceedings

This volume contains the proceedings of the 1990 Spring School of Theoretical Computer Science, devoted to the semantics of concurrency. The papers are of two kinds: - surveys and tutorials introducing the subject to novices and students and giving updates of the state of the art, - research papers...

Description complète

Détails bibliographiques

Autres auteurs:	Guessarian, Irène, 1948- (Directeur de la publication)
Format:	Livre numérique
Langue:	Anglais
Publié:	Berlin [etc.] : Springer [20..]. Cham : Springer Nature
Collection:	Lecture notes in computer science 469
Sujets:	Informatique Traitement réparti Systèmes d'exploitation (ordinateurs) Parallélisme (informatique) Logique symbolique et mathématique Microprocesseurs Actes de congrès
Accès en ligne:	Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL
Note:	Actes d'un séminaire tenu à La Roche Posay du 23 au 27 avril 1990, d'après l écran-titre Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale)
Autres localisations:	Voir dans le Sudoc
Edition sous un autre format:	• Semantics of systems of concurrent processes, LITP Spring School on Theoretical Computer Science, La Roche Posay, France, April 23-27, 1990, proceedings, I. Guessarian (ed.), Berlin, Springer-Verlag, 1990, 1 vol. (IV-456 p.), Lecture notes in computer science, 3-540-53479-2 • Semantics of Systems of Concurrent Processes, Texte imprimé, 9783662170816