Concur 2000 : concurrency theory : 11th international conference, University Park, PA, USA, August 22-25, 2000 : proceedings /

Bibliographic Details
Corporate Authors:	International Conference on Concurrency Theory University Park, Pa., SpringerLink (Online service)
Other Authors:	Palamidessi, Catuscia
Format:	Conference Proceeding eBook
Language:	English
Published:	Berlin ; New York : Springer, 2000.
Series:	Lecture notes in computer science ; 1877.
Subjects:	Parallel processing (Electronic computers) > Congresses. Computer multitasking > Congresses. automate. méthode vérification. réseau Petri. démonstration théorème. système concurrent. concurrence. Parallélisme (Informatique) > Congrès. Fonctionnement multitâche > Congrès. Computer multitasking. Parallel processing (Electronic computers) Concurrente programmering. Teoria Da Computacao. Linguagem De Programacao (Outras) Parallélisme (informatique) > Congrès. Nebenläufigkeit. Pennsylvania <2000>. Electronic books. Conference proceedings.
Online Access:	Connect to the full text of this electronic book

Remote Storage