Relational and Algebraic Methods in Computer Science

16th International Conference, RAMiCS 2017, Lyon, France, May 15-18, 2017, Proceedings

  • Peter Höfner
  • Damien Pous
  • Georg Struth
Part of the Lecture Notes in Computer Science book series (LNCS, volume 10226)

Table of contents

  1. Front Matter
    Pages I-XIV
  2. Invited Papers

    1. Front Matter
      Pages 1-1
    2. A. K. McIver, C. C. Morgan, T. Rabehaja
      Pages 3-23
  3. Contributed Papers

    1. Front Matter
      Pages 41-41
    2. Mathieu Alain, Jules Desharnais
      Pages 43-59
    3. Ulrik Buchholtz, Edward Morehouse
      Pages 77-92
    4. Jules Desharnais, Bernhard Möller
      Pages 93-108
    5. Walter Guttmann
      Pages 127-143
    6. Sebastiaan J. C. Joosten
      Pages 159-176
    7. Lefteris Kirousis, Phokion G. Kolaitis, John Livieratos
      Pages 209-225
    8. Steven Schäfer, Gert Smolka
      Pages 274-289

About these proceedings

Introduction

This book constitutes the proceedings of the 16th International Conference on Relational and Algebraic Methods in Computer Science, RAMiCS 2017, held in Lyon, France, in May 2017.

The 17 revised full papers and 2 invited papers presented together with 1 invited abstract were carefully selected from 28 submissions. Topics covered range from mathematical foundations to applications as conceptual and methodological tools in computer science and beyond.

 

Keywords

big software dynamic systems open source software probabilistic semantics semantics boolean algebra coalgebras concurrency constraint satisfaction graph transformation information flow information systems design isabelle/hol partial order programming language security software development source code temporal logic xml documents

Editors and affiliations

  • Peter Höfner
    • 1
  • Damien Pous
    • 2
  • Georg Struth
    • 3
  1. 1.Data61, CSIROSydneyAustralia
  2. 2.CNRSLyonFrance
  3. 3.University of SheffieldSheffieldUnited Kingdom

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-319-57418-9
  • Copyright Information Springer International Publishing AG 2017
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science
  • Print ISBN 978-3-319-57417-2
  • Online ISBN 978-3-319-57418-9
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book