Advertisement

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
  16. Kurt Jensen, Morten Kyng, Ole Lehrmann Madsen
    Pages 348-368

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 Berlin Heidelberg 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
  • Buy this book on publisher's site
Industry Sectors
Electronics
IT & Software
Aerospace