CONCUR '90: Theories of Concurrency: Unification and Extension
Produktnummer:
18af2946e87fee43b89f7e49d3a45076c5
Themengebiete: | Concurrency Parallelism Parallelität Programmiersprachen Programming languages Software-Spezifikation Software specification Verteilte (kommunizierende) Systeme calculus logic |
---|---|
Veröffentlichungsdatum: | 15.08.1990 |
EAN: | 9783540530480 |
Sprache: | Englisch |
Seitenzahl: | 542 |
Produktart: | Kartoniert / Broschiert |
Herausgeber: | Baeten, Joseph C.M. Klop, Jan W. |
Verlag: | Springer Berlin |
Untertitel: | Theories of Concurrency: Unification and Extension |
Produktinformationen "CONCUR '90: Theories of Concurrency: Unification and Extension"
This volume gives the proceedings of the conference CONCUR '90. This is the first conference organized by ESPRIT Basic Research Action 3006, CONCUR (Theories of Concurrency: Unification and Extension), started in September 1989. The principal aims of the action are to explore the relationships among the different approaches to algebraic concurrency theory, and to develop a formalism applicable to a wide range of case studies. The articles in this volume describe the state of the art in concurrency, the theory of communicating concurrent (or distributed) systems.

Sie möchten lieber vor Ort einkaufen?
Sie haben Fragen zu diesem oder anderen Produkten oder möchten einfach gerne analog im Laden stöbern? Wir sind gerne für Sie da und beraten Sie auch telefonisch.
Juristische Fachbuchhandlung
Georg Blendl
Parcellistraße 5 (Maxburg)
8033 München
Montag - Freitag: 8:15 -18 Uhr
Samstags geschlossen