Semantics of Concurrent Computation

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

  • Editors
  • Gilles Kahn
Conference proceedings

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

Table of contents

  1. Front Matter
  2. J. R. Abrial, S. A. Schuman
    Pages 34-50
  3. John S. Gourlay, William C. Rounds, Richard Statman
    Pages 51-65
  4. Ryszard Janicki
    Pages 109-122
  5. Hartmann J. Genrich, Kurt Lautenbach
    Pages 123-146
  6. Nancy A. Lynch, Michael J. Fischer
    Pages 147-171
  7. Jerald S. Schwarz
    Pages 191-202
  8. Daniel P. Friedman, David S. Wise
    Pages 203-225
  9. Andrea Maggiolo-Schettini, Horst Wedde, Jozef Winkowski
    Pages 226-248
  10. M. W. Shields
    Pages 249-265
  11. Mogens Nielsen, Gordon Plotkin, Glynn Winskel
    Pages 266-284
  12. William W. Wadge
    Pages 285-299
  13. Nissim Francez
    Pages 300-315
  14. Carl Hewitt, Giuseppe Attardi, Henry Lieberman
    Pages 316-336
  15. Michel Sintzoff
    Pages 337-347

About these proceedings

Keywords

EDV Semantik Simultanarbeit (EDV) concurrency distributed systems language logic modeling parallelism petri net programming semantics

Bibliographic information

  • DOI https://doi.org/10.1007/BFb0022459
  • Copyright Information Springer-Verlag 1979
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-09511-8
  • Online ISBN 978-3-540-35163-4
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book
Industry Sectors
Electronics
Aerospace