CONCUR'93

Name: CONCUR'93
Brand: Springer, Berlin
SKU: 9783540572084
Price: 1147 CZK
Availability: InStock

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

Autor: Eike Best

Jazyk:

Vazba: Brožovaná

Vydavatel: Springer, Berlin

Dostupnost: Skladem u dodavatele

Odesíláme za 5-8 dnů

1 147 Kč

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

Informace o knize

Autor

Eike Best

Jazyk

Angličtina

Vazba

Kniha - Brožovaná

Vydáno

1993

Stránek

550

EAN

9783540572084

ISBN

3540572082

Enbook ID

05274337

Vydavatel

Springer, Berlin

Hmotnost

740

Rozměry

156 x 234 x 28

Kompletní popis

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.

Mohlo by vás zajímat

Zákaznicí kteří koupili tuto knihu koupili také

Nejčastěji hledané

Categories

Authors

Publishers

Produkty

Produkty

Nejčastěji hledané

Categories

Authors

Publishers

Produkty

Produkty

CONCUR'93

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

Informace o knize

Kompletní popis

Mohlo by vás zajímat

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

Zákaznicí kteří koupili tuto knihu koupili také

BILD - MACHT - UnORDNUNG

100 hits in C-Dur, band 1

Wiedzmin Miecz przeznaczenia

Blick zurück nach vorn

Ogrody mojej duszy