Skip to main content
SpringerLink
Log in
Book cover
  • Conference proceedings
  • © 1985

The Analysis of Concurrent Systems

Cambridge, September 12-16, 1983. Proceedings

Editors:

  1. B. T. Denvir
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. W. T. Harwood
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. M. I. Jackson
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  4. M. J. Wray
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 207)

Sections

Buy it now

Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

This is a preview of subscription content, log in via an institution to check for access.

Table of contents (31 papers)

  2. A simple railway system

    • P. E. Lauer
    Pages 271-292

  3. Description and analysis using CIRCAL

    • George J. Milne
    Pages 293-313

  4. Firing squad

    • R. Milner
    Pages 314-317

  6. Specification of a simplified Network Service in CSP (Problem 2)

    • Carroll Morgan, C. A. R. Hoare
    Pages 345-353

  8. A temporal analysis of some concurrent systems

    • Ben Moszkowski
    Pages 359-364

  9. Solutions to problem no. 2

    • Amir Pnueli
    Pages 365-383

  10. A CSP solution to the "trains" problem

    • A. W. Roscoe
    Pages 384-388

  11. The train set problem

    • M. W. Shields
    Pages 389-391

  12. Conclusions

    Pages 392-396

  13. Back Matter

    PDF
Back to top

Keywords

Back to top

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

  • DOI: https://doi.org/10.1007/3-540-16047-7

  • Publisher: Springer Berlin, Heidelberg

  • eBook Packages: Springer Book Archive

  • Copyright Information: Springer-Verlag Berlin Heidelberg 1985

  • Softcover ISBN: 978-3-540-16047-2Published: 01 December 1985

  • eBook ISBN: 978-3-540-39731-1Published: 05 July 2005

  • Series ISSN: 0302-9743

  • Series E-ISSN: 1611-3349

  • Edition Number: 1

  • Number of Pages: XII, 404

  • Topics: Computer System Implementation, Logics and Meanings of Programs

Back to top

Publish with us

Policies and ethics

Back to top
Access via your institution

Buy it now

Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Search

Navigation