Best

Broschiertes Buch

CONCUR'93

4th International Conference on Concurrency Theory, Hildesheim, Germany, August 23-26, 1993. Proceedings

Mitarbeit: Best, Eike

Beschreibung

This volume contains the proceedings of CONCUR '93, thefourth in an annual series of conferences devoted to thestudy of concurrency. The basic aim of the CONCURconferences is to communicate advances in concurrency theoryand applications.The volume contains 31 papers selected from 113submissions,together with four invited papers and two abstracts ofinvited talks. The invited talks are: "The lambda-calculuswith multiplicities" (extended abstract) by G rard Boudol,"A pi-calculus semantics for an object-based designnotation" by Cliff B. Jones, "Partial-order methods fortemporal verification" by Pierre Wolper and PatriceGodefroid, "Non-interleaving process algebra" by Jos C.M.Baetenand Jan A. Bergstra, "Loop parallelization in thepolytope model" by Christian Lengauer, and "Structuredoperational semantics for process algebras and equationalaxiom systems" (abstract) by Bard Bloom.

Autor

Prof. Dr. Eike Best lehrt Theoretische Informatik an der Universität Hildesheim. Er hat in Karlsruhe studiert, in Newcastle (England) promoviert und sich in Bonn für Informatik habilitiert. Seine Forschungsinteressen konzentrieren sich auf das Gebiet Semantik und Verifikation paralleler und verteilter Systeme.

Produktdetails

• Lecture Notes in Computer Science 715
• Verlag: Springer / Springer Berlin Heidelberg / Springer, Berlin
• Artikelnr. des Verlages: 978-3-540-57208-4
• 1993.
• Seitenzahl: 560
• Erscheinungstermin: 13. August 1993
• Englisch
• Abmessung: 235mm x 155mm x 30mm
• Gewicht: 740g
• ISBN-13: 9783540572084
• ISBN-10: 3540572082
• Artikelnr.: 09217461