Save 40% on select Business & Management books + FREE shipping or 50% on Physics eBooks!

Lecture Notes in Computer Science

The Analysis of Concurrent Systems

Cambridge, September 12-16, 1983. Proceedings

Editors: Denvir, B.T., Harwood, W.T., Jackson, M.I., Wray, M.J. (Eds.)

Free Preview

Buy this book

eBook $89.00
price for USA in USD (gross)
  • The eBook version of this title will be available soon
  • ISBN 978-3-540-39731-1
  • Digitally watermarked, DRM-free
  • Included format:
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $119.00
price for USA in USD
  • ISBN 978-3-540-16047-2
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.

Table of contents (31 chapters)

Table of contents (31 chapters)
  • Introduction

    Pages 1-4

  • Using algebra for concurrency: Some approaches

    Pages 5-25

    Milner, Robin

  • Some aspects of net theory

    Pages 26-54

    Thiagarajan, P. S.

  • From state machines to temporal logic: Specification methods for protocol standards

    Pages 55-65

    Schwartz, Richard L. (et al.)

  • A practical approach to the analysis of concurrent systems

    Pages 66-96

    Abrial, J. R.

Buy this book

eBook $89.00
price for USA in USD (gross)
  • The eBook version of this title will be available soon
  • ISBN 978-3-540-39731-1
  • Digitally watermarked, DRM-free
  • Included format:
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $119.00
price for USA in USD
  • ISBN 978-3-540-16047-2
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
The Analysis of Concurrent Systems
Book Subtitle
Cambridge, September 12-16, 1983. Proceedings
Editors
  • B.T. Denvir
  • W.T. Harwood
  • M.I. Jackson
  • M.J. Wray
Series Title
Lecture Notes in Computer Science
Series Volume
207
Copyright
1985
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-540-39731-1
DOI
10.1007/3-540-16047-7
Softcover ISBN
978-3-540-16047-2
Series ISSN
0302-9743
Edition Number
1
Number of Pages
XII, 404
Topics