LIBRISTO
LIBROAMANTO
mandatory
Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free
0
Free delivery for purchases over 19 990 Ft
DPD point 990 Ft DPD courier 1 190 Ft GLS point 1 190 Ft Hungarian Post 1 795 Ft Hungarian Post 1 690 Ft Hungarian Post 1 690 Ft FoxPost 1 190 Ft Packeta point 1 190 Ft GLS courier 1 690 Ft

Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

CONCUR'93

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

Language EnglishEnglish
Book Paperback
Book CONCUR'93 Eike Best
Libristo code: 05274337
Publishers Springer, Berlin, November 1992
This volume contains the proceedings of CONCUR '93, the fourth in an annual series of conferences de... Full description
? points 136 b
19 818 Ft
In stock at our supplier Shipping in 5-8 days

Up to 30 days for returns


Customers also purchased


BILD - MACHT - UnORDNUNG Anna-Maria Blank / Book Paperback
common.buy 16 711 Ft
100 hits in C-Dur, band 1 Gerhard Hildner / Book Book
common.buy 10 581 Ft
Top
Wiedzmin Miecz przeznaczenia Andrzej Sapkowski / Book Paperback
common.buy 4 363 Ft
Blick zurück nach vorn Wolfgang Dunkel / Book Paperback
common.buy 15 528 Ft
Ogrody mojej duszy Jolanta Żylińska / Book Paperback
common.buy 3 650 Ft

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.

Actress & Polyglot
EWA KASP for
Play video
Ewa Kasp
Libristo has the largest selection of foreign-language books. That’s why I buy my books there.

You might also be interested in


Mathematics of Planet Earth Eulogio Pardo-Igúzquiza / Book Hardback
common.buy 78 925 Ft
Becoming TIGERS: Leading Your Team Success Izabela Zagorski / Book Paperback
common.buy 6 347 Ft
Homophones Visualized Bruce Worden / Book Hardback
common.buy 4 832 Ft
Twenty-one Days in India George Robert Aberigh-MacKay / Book Paperback
common.buy 2 568 Ft
S-BPM in the Wild Albert Fleischmann / Book Paperback
common.buy 19 426 Ft
Builders and Fools Derek Tidball / Book Paperback
common.buy 5 168 Ft
Application-layer Fault-tolerance Protocols Vincenzo De Florio / Book Hardback
common.buy 65 003 Ft
Connected Lives Ruth E. Groenhout / Book Hardback
common.buy 64 055 Ft
Cold Blooded Omar Tyree / Book Paperback
common.buy 5 693 Ft
Alexander Zinoviev: An Introduction to His Work Michael Kirkwood / Book Paperback
common.buy 21 189 Ft

Login

Log in to your account. Don't have a Libristo account? Create one now!

 
mandatory
mandatory

Don’t have an account? Discover the benefits of having a Libristo account!

With a Libristo account, you'll have everything under control.

Create a Libristo account
Book advisor Libroamiko
Hi, I'm Libroamiko, can I help?