CONCUR'93

Name: CONCUR'93
Brand: Springer, Berlin
SKU: 9783540572084
Price: 212.91 PLN
Availability: InStock

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

Autor: Eike Best

Język:

Oprawa: Miękka

Wydawca: Springer, Berlin

Dostępność: Dostępna u dostawcy

Wysyłamy za 5-8 dni

212.91 zł

This volume contains the proceedings of CONCUR '93, the fourth in an annual series of conferences de...

Informacje o książce

Autor

Eike Best

Język

Angielski

Oprawa

Książka - Miękka

Data wydania

1993

strony

550

EAN

9783540572084

ISBN

3540572082

Enbook ID

05274337

Wydawca

Springer, Berlin

Waga

740

Wymiary

156 x 234 x 28

Pełny opis

This volume contains the proceedings of CONCUR '93, the fourth in an annual series of conferences devoted to the study of concurrency. The basic aim of the CONCUR conferences is to communicate advances in concurrency theory and applications.The volume contains 31 papers selected from 113 submissions, 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 for temporal verification" by Pierre Wolper and Patrice Godefroid, "Non-interleaving process algebra" by Jos C. M. Baetenand Jan A. Bergstra, "Loop parallelization in the polytope model" by Christian Lengauer, and "Structured operational semantics for process algebras and equational axiom systems" (abstract) by Bard Bloom.

Możesz być zainteresowany

Klienci, którzy kupili tę książkę, kupili również

Najczęściej wyszukiwane

Categories

Authors

Publishers

Produkty

Produkty

Najczęściej wyszukiwane

Categories

Authors

Publishers

Produkty

Produkty

CONCUR'93

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

Informacje o książce

Pełny opis

Możesz być zainteresowany

Mathematics of Planet Earth

Becoming TIGERS: Leading Your Team Success

Twenty-one Days in India

Continuous-Time Models in Corporate Finance, Banking, and Insurance

S-BPM in the Wild

Pre Cis Historique Des Ope Rations Militaires de L'Arme E D'Italie En 1813 Et 1814, Par Le Chef de L'e Tat-Major-GE Ne Ral de Cette Arme E (M. de V.).

Empire of the Tsars and the Russians ... translated from the third French edition with annotations by Z. A. Ragozin.

Builders and Fools

Application-layer Fault-tolerance Protocols

Connected Lives

Cold Blooded

Alexander Zinoviev: An Introduction to His Work

Klienci, którzy kupili tę książkę, kupili również

BILD - MACHT - UnORDNUNG

100 hits in C-Dur, band 1

Wiedzmin Miecz przeznaczenia

Blick zurück nach vorn

Ogrody mojej duszy