Home Concur'93: 4th International Conference on Concurrency Theory, Hildesheim, Germany, August 23-26, 1993. Proceedings by Eike Best (Editor) (ISBN: 9783540572084)

Stock photo: cover may vary

Concur'93: 4th International Conference on Concurrency Theory, Hildesheim, Germany, August 23-26, 1993. Proceedings Paperback - 1993 - 1993rd Edition

Name: CONCUR'93 : 4th International Conference on Concurrency Theory, Hildesheim, Germany, August 23-26, 1993. Proceedings
Price: 53.97 GBP
Availability: InStock
ISBN: 9783540572084

by Eike Best (Editor)

Add to wish list

Browse more copies for sale ↓

Reader reviews for Concur'93: 4th International Conference on Concurrency Theory, Hildesheim, Germany, August 23-26, 1993. Proceedings

Write a review for this book

Important Terms and Guidelines

Please focus on the book’s content and context. Also, add any personal comments as to how you enjoyed the book. Substantiate your likes and dislikes. You may make comparisons to other books.
Reviews must be at least 140 characters in length.
Please do not reveal critical plot elements.
This is not a help line. Contact customer support if you need help.

Your review must not include:

Obscenities, discriminatory language, or other insulting language not suitable for public domain
Advertisements, “spam” content, or references to other products, offers or websites.
Email addresses, URLs, phone numbers, physical addresses or other contact information.
Overly critical comments about other reviews or reviewers
Time-sensitive material (i.e. promotional tours, seminars, lectures, etc.)
Availability, price, or alternative ordering/shipping information

From the publisher

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.

First line

The -caJcuJus with multiplicities is a refinement of the usual -calculus, inspired by the encoding of the lazy -calculus into the -calculus given by Milner in [Milner 1992].

Details

Title Concur'93: 4th International Conference on Concurrency Theory, Hildesheim, Germany, August 23-26, 1993. Proceedings
Author Eike Best (Editor)
Binding Paperback
Edition number 1993rd
Edition 1993
Pages 550
Volumes 1
Language ENG
Publisher Springer
Publication date 1993-08-13
Illustrated Yes
Features Illustrated
ISBN 9783540572084 / 3540572082
Weight 1.71 lbs (0.78 kg)
Dimensions 9.21 x 6.14 x 1.14 in (23.39 x 15.60 x 2.90 cm)
Category Computers - General Information
Library of Congress Catalogue Number 93030066
Dewey Decimal Code 004.35

More Copies for Sale