CONCUR'93: 4th International Conference on Concurrency Theory, Hildesheim, Germany, August 23-26, 1993. Procee by Eike BestCONCUR'93: 4th International Conference on Concurrency Theory, Hildesheim, Germany, August 23-26, 1993. Procee by Eike Best

CONCUR'93: 4th International Conference on Concurrency Theory, Hildesheim, Germany, August 23-26…

EditorEike Best

Paperback | August 13, 1993

Pricing and Purchase Info

$164.12 online 
$180.95 list price save 9%
Earn 821 plum® points

Prices and offers may vary in store

Quantity:

In stock online

Ships free on orders over $25

Not available in stores

about

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.
Title:CONCUR'93: 4th International Conference on Concurrency Theory, Hildesheim, Germany, August 23-26…Format:PaperbackDimensions:550 pages, 9.25 × 6.1 × 0.03 inPublished:August 13, 1993Publisher:Springer Berlin HeidelbergLanguage:English

The following ISBNs are associated with this title:

ISBN - 10:3540572082

ISBN - 13:9783540572084

Look for similar items by category:

Reviews