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...

Full description

Bibliographic Details

Corporate Authors:	Ecole de printemps d'informatique théorique La Roche-Posay, France, SpringerLink (Online service), Laboratoire informatique théorique et programmation (France), Institut pour la recherche en informatique de Toulouse
Other Authors:	Guessarian, Irène, 1948-
Format:	Conference Proceeding eBook
Language:	English
Published:	Berlin ; New York : Springer-Verlag, ©1990.
Series:	Lecture notes in computer science ; 469.
Subjects:	Parallel processing (Electronic computers) Programming languages (Electronic computers) > Semantics. réseau Petri. logique. processus concurrent. système réparti. concurrence. sémantique. Parallélisme (Informatique) Langages de programmation > Sémantique. Traitement réparti > Congrès. Electronic books.
Online Access:	Connect to the full text of this electronic book