Theoretical Computer Science and General Issues

Relational and Algebraic Methods in Computer Science

14th International Conference, RAMiCS 2014, Marienstatt, Germany, April 28 -- May 1, 2014, Proceedings

Editors: Höfner, P., Jipsen, P., Kahl, W., Müller, M.E. (Eds.)

Buy this book

eBook $74.99
price for USA (gross)
  • ISBN 978-3-319-06251-8
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $99.00
price for USA
  • ISBN 978-3-319-06250-1
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
About this book

This book constitutes the proceedings of the 14th International Conference on Relational and Algebraic Methods in Computer Science, RAMiCS 2014 held in Marienstatt, Germany, in April/May 2014.
The 25 revised full papers presented were carefully selected from 37 submissions. The papers are structured in specific fields on concurrent Kleene algebras and related formalisms, reasoning about computations and programs, heterogeneous and categorical approaches, applications of relational and algebraic methods and developments related to modal logics and lattices.

Table of contents (27 chapters)

  • Developments in Concurrent Kleene Algebra

    Hoare, Tony (et al.)

    Pages 1-18

  • Endowing Concurrent Kleene Algebra with Communication Actions

    Jaskolka, Jason (et al.)

    Pages 19-36

  • Concurrent Kleene Algebra with Tests

    Jipsen, Peter

    Pages 37-48

  • Algebras for Program Correctness in Isabelle/HOL

    Armstrong, Alasdair (et al.)

    Pages 49-64

  • Completeness Theorems for Bi-Kleene Algebras and Series-Parallel Rational Pomset Languages

    Laurence, Michael R. (et al.)

    Pages 65-82

Buy this book

eBook $74.99
price for USA (gross)
  • ISBN 978-3-319-06251-8
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $99.00
price for USA
  • ISBN 978-3-319-06250-1
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Relational and Algebraic Methods in Computer Science
Book Subtitle
14th International Conference, RAMiCS 2014, Marienstatt, Germany, April 28 -- May 1, 2014, Proceedings
Editors
  • Peter Höfner
  • Peter Jipsen
  • Wolfram Kahl
  • Martin Eric Müller
Series Title
Theoretical Computer Science and General Issues
Series Volume
8428
Copyright
2014
Publisher
Springer International Publishing
Copyright Holder
Springer International Publishing Switzerland
eBook ISBN
978-3-319-06251-8
DOI
10.1007/978-3-319-06251-8
Softcover ISBN
978-3-319-06250-1
Edition Number
1
Number of Pages
XII, 463
Number of Illustrations and Tables
28 b/w illustrations
Topics