Skip to main content
SpringerLink
Log in

Semantics of Concurrent Computation

Proceedings of the International Symposium Evian, France, July 2-4, 1979

  • Conference proceedings
  • © 1979

Overview

Editors:
  1. Gilles Kahn
    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 70)

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 49.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 (20 papers)

  1. Front Matter

    Download chapter PDF

  2. The temporal semantics of concurrent programs

    • Amir Pnueli
    Pages 1-20

  3. Modal logic of concurrent nondeterministic programs

    • Karl Abrahamson
    Pages 21-33

  4. Non-deterministic system specification

    • J. R. Abrial, S. A. Schuman
    Pages 34-50

  5. On properties preserved by contractions of concurrent systems

    • John S. Gourlay, William C. Rounds, Richard Statman
    Pages 51-65

  6. Static analysis of concurrent processes for dynamic properties using Petri Nets

    • Otthein Herzog
    Pages 66-90

  7. Notion de Dualite et de Symetrie dans les Reseaux de Petri

    • Gérard MEMMI
    Pages 91-108

  8. A characterization of concurrency-like relations

    • Ryszard Janicki
    Pages 109-122

  9. The analysis of distributed systems by means of predicate/transition-nets

    • Hartmann J. Genrich, Kurt Lautenbach
    Pages 123-146

  10. On describing the behavior and implementation of distributed systems

    • Nancy A. Lynch, Michael J. Fischer
    Pages 147-171

  11. On the absence of livelocks in parallel programs

    • Y. S. Kwong
    Pages 172-190

  12. Denotational semantics of parallelism

    • Jerald S. Schwarz
    Pages 191-202

  13. An approach to fair applicative multiprogramming

    • Daniel P. Friedman, David S. Wise
    Pages 203-225

  14. Modeling a solution for a control problem in distributed systems by restrictions

    • Andrea Maggiolo-Schettini, Horst Wedde, Jozef Winkowski
    Pages 226-248

  15. Adequate path expressions

    • M. W. Shields
    Pages 249-265

  16. Petri nets, event structures and domains

    • Mogens Nielsen, Gordon Plotkin, Glynn Winskel
    Pages 266-284

  17. An extensional treatment of dataflow deadlock

    • William W. Wadge
    Pages 285-299

  18. On achieving distributed termination

    • Nissim Francez
    Pages 300-315

  19. Specifying and proving properties of guardians for distributed systems

    • Carl Hewitt, Giuseppe Attardi, Henry Lieberman
    Pages 316-336

  20. Principles for distributing programs

    • Michel Sintzoff
    Pages 337-347
Back to top

Keywords

Bibliographic Information

  • Book Title: Semantics of Concurrent Computation

  • Book Subtitle: Proceedings of the International Symposium Evian, France, July 2-4, 1979

  • Editors: Gilles Kahn

  • Series Title: Lecture Notes in Computer Science

  • DOI: https://doi.org/10.1007/BFb0022459

  • Publisher: Springer Berlin, Heidelberg

  • eBook Packages: Springer Book Archive

  • Copyright Information: Springer-Verlag Berlin Heidelberg 1979

  • Softcover ISBN: 978-3-540-09511-8Published: 01 June 1979

  • eBook ISBN: 978-3-540-35163-4Published: 23 November 2005

  • Series ISSN: 0302-9743

  • Series E-ISSN: 1611-3349

  • Edition Number: 1

  • Number of Pages: VIII, 372

  • Topics: Logics and Meanings of Programs, Software Engineering

Publish with us

Policies and ethics

Back to top

Search

Navigation