CONCUR '93, Concurrency Theory, 4 conf. Eike Best

CONCUR '93, Concurrency Theory, 4 conf



Download CONCUR '93, Concurrency Theory, 4 conf



CONCUR '93, Concurrency Theory, 4 conf Eike Best ebook djvu
Publisher: Springer
Language: English
Page: 551
ISBN: 3540572082, 9783540572084

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 113submissions, together with four invited papers and two abstracts of invited talks. The invited talks are: "The lambda-calculus with multiplicities" (extended abstract) by G rard Boudol, "A pi-calculus semantics for an object-based design notation" 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.



MORE EBOOKS:
Spice: A Guide to Circuit Simulation and Analysis Using Pspice/Book and IBM PS 3 1/2 Disk ebook download
Fundamentals of Materials Science and Engineering: An Interactive e . Text, 5th Edition download ebook
online National Systems of Transport Infrastructure Planning: Report of the One Hundred and Twenty Eight Round Table on Transport Econmics Held In Paris on 26th-27th February 2004 (Ecmt Round Tables)







Tags: CONCUR '93, Concurrency Theory, 4 conf ebook pdf djvu epub
CONCUR '93, Concurrency Theory, 4 conf download pdf epub djvu
Download CONCUR '93, Concurrency Theory, 4 conf free ebook pdf
Read CONCUR '93, Concurrency Theory, 4 conf online book
CONCUR '93, Concurrency Theory, 4 conf cheap ebook for kindle and nook
CONCUR '93, Concurrency Theory, 4 conf download book
Eike Best ebooks
CONCUR '93, Concurrency Theory, 4 conf download pdf rapidshare mediafire fileserve 4shared torrent