Skip to main content
SpringerLink
Log in
Book cover

Seminar on Concurrency

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

  • Conference proceedings
  • © 1985

Overview

Editors:
  1. Stephen D. Brookes
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Andrew William Roscoe
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Glynn Winskel
    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 197)

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

Access this book

Log in via an institution
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

Licence this eBook for your library

Institutional subscriptions

Table of contents (25 papers)

  1. Front Matter

    Download chapter PDF

  2. On the axiomatic treatment of concurrency

    • Stephen D. Brookes
    Pages 1-34

  3. Hierarchical development of concurrent systems in a temporal logic framework

    • Howard Barringer, Ruurd Kuiper
    Pages 35-61

  4. On the composition and decomposition of assertions

    • Glynn Winskel
    Pages 62-75

  5. Process algebra with asynchronous communication mechanisms

    • J. A. Bergstra, J. W. Klop, J. V. Tucker
    Pages 76-95

  6. Axioms for memory access in asynchronous hardware systems

    • J. Misra
    Pages 96-110

  7. Executing temporal logic programs

    • Ben Moszkowski
    Pages 111-130

  8. The static derivation of concurrency and its mechanized certification

    • Christian Lengauer, Chua-Huang Huang
    Pages 131-150

  9. Semantic considerations in the actor paradigm of concurrent computation

    • Gul Agha
    Pages 151-179

  10. The pomset model of parallel processes: Unifying the temporal and the spatial

    • Vaughan Pratt
    Pages 180-196

  11. Lectures on a calculus for communicating systems

    • Robin Milner
    Pages 197-220

  12. Concurrent behaviour: Sequences, processes and axioms

    • Eike Best
    Pages 221-245

  13. Categories of models for concurrency

    • Glynn Winskel
    Pages 246-267

  14. Maximally concurrent evolution of non-sequential systems

    • R. Janicki, P. E. Lauer, R. Devillers
    Pages 268-280

  15. An improved failures model for communicating processes

    • S. D. Brookes, A. W. Roscoe
    Pages 281-305

  16. Denotational semantics for occam

    • A. W. Roscoe
    Pages 306-329

  17. Linguistic support of receptionists for shared resources

    • Carl Hewitt, Tom Reinhardt, Gul Agha, Giuseppe Attardi
    Pages 330-359

  18. Applications of topology to semantics of communicating processes

    • William C. Rounds
    Pages 360-372

  19. Denotational models based on synchronously communicating processes: Refusal, acceptance, safety

    • William G. Golson
    Pages 373-388

  20. The ESTEREL synchronous programming language and its mathematical semantics

    • Gérard Berry, Laurent Cosserat
    Pages 389-448
Back to top

Keywords

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation