Stock up on textbooks with 40% off + FREE shipping or choose from thousands of Protocols eBooks at just 9.99 each!

Lecture Notes in Computer Science

Operating Systems

Proceedings of an International Symposium held at Rocquencourt, April 23–25, 1974

Editors: Gelenbe, E., Kaiser, C. (Eds.)

Free Preview

Buy this book

eBook $74.99
price for USA in USD (gross)
  • The eBook version of this title will be available soon
  • ISBN 978-3-540-37805-1
  • Digitally watermarked, DRM-free
  • Included format:
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $99.00
price for USA in USD
  • ISBN 978-3-540-06849-5
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.

Table of contents (16 chapters)

Table of contents (16 chapters)
  • Correctness of realizations of levels of abstraction in Operating Systems

    Pages 1-14

    Belpaire, G. (et al.)

  • A simulation model representing the OS/VS2 Release 2 Control Program

    Pages 15-29

    Beretvas, T.

  • Une analyse de systeme par typologie

    Pages 30-55

    Borrione, D.

  • Equivalence and decomposition methods with application to a model of a time-sharing virtual memory system

    Pages 56-88

    Brandwajn, A.

  • The specification of process synchronization by path expressions

    Pages 89-102

    Campbell, R. H. (et al.)

Buy this book

eBook $74.99
price for USA in USD (gross)
  • The eBook version of this title will be available soon
  • ISBN 978-3-540-37805-1
  • Digitally watermarked, DRM-free
  • Included format:
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $99.00
price for USA in USD
  • ISBN 978-3-540-06849-5
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Operating Systems
Book Subtitle
Proceedings of an International Symposium held at Rocquencourt, April 23–25, 1974
Editors
  • E. Gelenbe
  • C. Kaiser
Series Title
Lecture Notes in Computer Science
Series Volume
16
Copyright
1974
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-540-37805-1
DOI
10.1007/BFb0029350
Softcover ISBN
978-3-540-06849-5
Series ISSN
0302-9743
Edition Number
1
Number of Pages
VIII, 310
Number of Illustrations
20 b/w illustrations
Topics