Skip to main content
  • Conference proceedings
  • © 2017

Relational and Algebraic Methods in Computer Science

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

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 10226)

Part of the book sub series: Theoretical Computer Science and General Issues (LNTCS)

Conference series link(s): RAMiCS: International Conference on Relational and Algebraic Methods in Computer Science

Conference proceedings info: RAMICS 2017.

Buying options

eBook USD 59.99
Price excludes VAT (USA)
  • ISBN: 978-3-319-57418-9
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
Softcover Book USD 79.99
Price excludes VAT (USA)

This is a preview of subscription content, access via your institution.

Table of contents (19 papers)

  1. Front Matter

    Pages I-XIV
  2. Invited Papers

    1. Front Matter

      Pages 1-1
    2. Algebra for Quantitative Information Flow

      • A. K. McIver, C. C. Morgan, T. Rabehaja
      Pages 3-23
  3. Contributed Papers

    1. Front Matter

      Pages 41-41
    2. Relations as Images

      • Mathieu Alain, Jules Desharnais
      Pages 43-59
    3. Varieties of Cubical Sets

      • Ulrik Buchholtz, Edward Morehouse
      Pages 77-92
    4. Non-associative Kleene Algebra and Temporal Logics

      • Jules Desharnais, Bernhard Möller
      Pages 93-108
    5. Stone Relation Algebras

      • Walter Guttmann
      Pages 127-143
    6. Parsing and Printing of and with Triples

      • Sebastiaan J. C. Joosten
      Pages 159-176
    7. Aggregation of Votes with Multiple Positions on Each Issue

      • Lefteris Kirousis, Phokion G. Kolaitis, John Livieratos
      Pages 209-225
    8. Tower Induction and Up-to Techniques for CCS with Fixed Points

      • Steven Schäfer, Gert Smolka
      Pages 274-289

Other Volumes

  1. Relational and Algebraic Methods in Computer Science

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

About this book

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

  • Data61, CSIRO, Sydney, Australia

    Peter Höfner

  • CNRS, Lyon, France

    Damien Pous

  • University of Sheffield, Sheffield, United Kingdom

    Georg Struth

Bibliographic Information

Buying options

eBook USD 59.99
Price excludes VAT (USA)
  • ISBN: 978-3-319-57418-9
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
Softcover Book USD 79.99
Price excludes VAT (USA)