Read While You Wait - Get immediate ebook access, if available*, when you order a print book

Lecture Notes in Computer Science

Automata, Languages and Programming

10th Colloquium Barcelona, Spain, July 18–22, 1983

Editors: Diaz, J. (Ed.)

Free Preview

Buy this book

eBook $74.99
price for USA in USD
  • The eBook version of this title will be available soon
  • ISBN 978-3-540-40038-7
  • 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-12317-0
  • Free shipping for individuals worldwide
  • Immediate ebook access, if available*, with your print order
  • Usually dispatched within 3 to 5 business days.

Table of contents (60 chapters)

Table of contents (60 chapters)
  • On semantic foundations for applicative multiprogramming

    Pages 1-14

    Abramsky, Samson

  • An axiomatization of the intermittent assertion method using temporal logic

    Pages 15-27

    Apt, Krzysztof R. (et al.)

  • Topological characterizations of infinite behaviours of transition systems

    Pages 28-38

    Arnold, André

  • Linear time and branching time semantics for recursion with merge

    Pages 39-51

    Bakker, J. W. (et al.)

  • Processes and a fair semantics for the ADA rendez-vous

    Pages 52-66

    Bakker, J. W. (et al.)

Buy this book

eBook $74.99
price for USA in USD
  • The eBook version of this title will be available soon
  • ISBN 978-3-540-40038-7
  • 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-12317-0
  • Free shipping for individuals worldwide
  • Immediate ebook access, if available*, with your print order
  • Usually dispatched within 3 to 5 business days.
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Automata, Languages and Programming
Book Subtitle
10th Colloquium Barcelona, Spain, July 18–22, 1983
Editors
  • J. Diaz
Series Title
Lecture Notes in Computer Science
Series Volume
154
Copyright
1983
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-540-40038-7
DOI
10.1007/BFb0036892
Softcover ISBN
978-3-540-12317-0
Series ISSN
0302-9743
Edition Number
1
Number of Pages
VIII, 737
Topics

*immediately available upon purchase as print book shipments may be delayed due to the COVID-19 crisis. ebook access is temporary and does not include ownership of the ebook. Only valid for books with an ebook version. Springer Reference Works and instructor copies are not included.