Lecture Notes in Computer Science

Seminar on Concurrency

Carnegie-Mellon University Pittsburgh, PA, July 9-11, 1984

Editors: Brookes, Stephen D., Roscoe, Andrew W., Winskel, Glynn (Eds.)

Buy this book

eBook $109.00
price for USA in USD (gross)
  • ISBN 978-3-540-39593-5
  • Digitally watermarked, DRM-free
  • Included format:
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $139.00
price for USA in USD
  • ISBN 978-3-540-15670-3
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.

Table of contents (25 chapters)

  • On the axiomatic treatment of concurrency

    Brookes, Stephen D.

    Pages 1-34

  • Hierarchical development of concurrent systems in a temporal logic framework

    Barringer, Howard (et al.)

    Pages 35-61

  • On the composition and decomposition of assertions

    Winskel, Glynn

    Pages 62-75

  • Process algebra with asynchronous communication mechanisms

    Bergstra, J. A. (et al.)

    Pages 76-95

  • Axioms for memory access in asynchronous hardware systems

    Misra, J.

    Pages 96-110

Buy this book

eBook $109.00
price for USA in USD (gross)
  • ISBN 978-3-540-39593-5
  • Digitally watermarked, DRM-free
  • Included format:
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $139.00
price for USA in USD
  • ISBN 978-3-540-15670-3
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Seminar on Concurrency
Book Subtitle
Carnegie-Mellon University Pittsburgh, PA, July 9-11, 1984
Editors
  • Stephen D. Brookes
  • Andrew W. Roscoe
  • Glynn Winskel
Series Title
Lecture Notes in Computer Science
Series Volume
197
Copyright
1985
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-540-39593-5
DOI
10.1007/3-540-15670-4
Softcover ISBN
978-3-540-15670-3
Series ISSN
0302-9743
Edition Number
1
Number of Pages
X, 526
Topics