Lecture Notes in Computer Science

CONCUR'93

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

Editors: Best, Eike (Ed.)

Free Preview

Buy this book

eBook 83,29 €
price for Spain (gross)
  • The eBook version of this title will be available soon
  • ISBN 978-3-540-47968-0
  • Digitally watermarked, DRM-free
  • Included format:
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover 103,99 €
price for Spain (gross)
  • ISBN 978-3-540-57208-4
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
  • The final prices may differ from the prices shown due to specifics of VAT rules
About this book

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.

Table of contents (37 chapters)

Table of contents (37 chapters)
  • The lambda-calculus with multiplicities

    Boudol, Gérard

    Pages 1-6

  • A multiset semantics for the pi-calculus with replication

    Engelfriet, Joost

    Pages 7-21

  • Model checking mobile processes

    Dam, Mads

    Pages 22-36

  • A practical technique for process abstraction

    Bruns, Glenn

    Pages 37-49

  • Modular completeness for Communication Closed Layers

    Fokkinga, Maarten (et al.)

    Pages 50-65

Buy this book

eBook 83,29 €
price for Spain (gross)
  • The eBook version of this title will be available soon
  • ISBN 978-3-540-47968-0
  • Digitally watermarked, DRM-free
  • Included format:
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover 103,99 €
price for Spain (gross)
  • ISBN 978-3-540-57208-4
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
  • The final prices may differ from the prices shown due to specifics of VAT rules
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
CONCUR'93
Book Subtitle
4th International Conference on Concurrency Theory, Hildesheim, Germany, August 23-26, 1993. Proceedings
Editors
  • Eike Best
Series Title
Lecture Notes in Computer Science
Series Volume
715
Copyright
1993
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-540-47968-0
DOI
10.1007/3-540-57208-2
Softcover ISBN
978-3-540-57208-4
Series ISSN
0302-9743
Edition Number
1
Number of Pages
X, 550
Topics