Cover Image

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
Description
Item Description:Electronic resource.
Physical Description:1 online resource (xi, 612 pages) : illustrations.
ISBN:3540678972
9783540678977