Lecture Notes in Computer Science
© 1983
Automata, Languages and Programming
10th Colloquium Barcelona, Spain, July 18–22, 1983
Editors: Diaz, J. (Ed.)
Free PreviewBuy this book
- Table of contents (60 chapters)
-
-
On semantic foundations for applicative multiprogramming
Pages 1-14
-
An axiomatization of the intermittent assertion method using temporal logic
Pages 15-27
-
Topological characterizations of infinite behaviours of transition systems
Pages 28-38
-
Linear time and branching time semantics for recursion with merge
Pages 39-51
-
Processes and a fair semantics for the ADA rendez-vous
Pages 52-66
-
Table of contents (60 chapters)
Recommended for you

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