Theoretical Computer Science and General Issues
© 2007
Programming Languages and Systems
16th European Symposium on Programming, ESOP 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS, Braga, Portugal, March 24 - April 1, 2007, Proceedings
Editors: De Nicola, Rocco (Ed.)
Free PreviewBuy this book
- Table of contents (35 chapters)
-
-
Techniques for Contextual Equivalence in Higher-Order, Typed Languages
Pages 1-1
-
Structured Communication-Centred Programming for Web Services
Pages 2-17
-
CC-Pi: A Constraint-Based Language for Specifying Service Level Agreements
Pages 18-32
-
A Calculus for Orchestration of Web Services
Pages 33-47
-
A Concurrent Calculus with Atomic Transactions
Pages 48-63
-
Table of contents (35 chapters)
Recommended for you
Bibliographic Information
- Bibliographic Information
-
- Book Title
- Programming Languages and Systems
- Book Subtitle
- 16th European Symposium on Programming, ESOP 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS, Braga, Portugal, March 24 - April 1, 2007, Proceedings
- Editors
-
- Rocco De Nicola
- Series Title
- Theoretical Computer Science and General Issues
- Series Volume
- 4421
- Copyright
- 2007
- Publisher
- Springer-Verlag Berlin Heidelberg
- Copyright Holder
- Springer-Verlag Berlin Heidelberg
- eBook ISBN
- 978-3-540-71316-6
- DOI
- 10.1007/978-3-540-71316-6
- Softcover ISBN
- 978-3-540-71314-2
- Edition Number
- 1
- Number of Pages
- XVIII, 542
- 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.
