CONCUR‘99. Concurrency Theory: 10th International Conference Eindhoven, The Netherlands, Augus...

Das Buch "CONCUR‘99. Concurrency Theory: 10th International Conference Eindhoven, The Netherlands, August 24-27, 1999 Proceedings" ist ein Sammelband, der die Beiträge zur 10. Internationalen Konferenz über Nebenläufigkeitstheorie (Concurrency Theory) enthält. Diese Konferenz fand im August 1999 in Eindhoven, Niederlande statt und wurde von Sjouke Mauw herausgegeben. Der Band ist Teil der Reihe "Lecture Notes in Computer Science" und umfasst verschiedene wissenschaftliche Arbeiten, die sich mit theoretischen und praktischen Aspekten der Nebenläufigkeit in Computersystemen befassen. Die Themen reichen von Modellierungstechniken für parallele und verteilte Systeme bis hin zu formalen Methoden zur Verifikation und Analyse solcher Systeme. Die Beiträge behandeln unter anderem Prozessalgebren, Petri-Netze, temporale Logik sowie Anwendungen dieser Theorien in der Praxis. Das Buch richtet sich an Forscher und Praktiker im Bereich der Informatik, insbesondere diejenigen mit einem Fokus auf Theorie und Anwendung von Nebenläufigkeit in komplexen Softwaresystemen.