Skip to main content
  • Conference proceedings
  • © 2018

Relational and Algebraic Methods in Computer Science

17th International Conference, RAMiCS 2018, Groningen, The Netherlands, October 29 – November 1, 2018, Proceedings

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

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 2018.

Buying options

eBook USD 59.99
Price excludes VAT (USA)
  • ISBN: 978-3-030-02149-8
  • 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 (22 papers)

  1. Front Matter

    Pages I-XVI
  2. Invited Paper

    1. Front Matter

      Pages 1-1
  3. Theoretical Foundations

    1. Front Matter

      Pages 19-19
    2. C-Dioids and $$\mu $$ -Continuous Chomsky-Algebras

      • Hans Leiß, Mark Hopkins
      Pages 21-36
    3. T-Norm Based Operations in Arrow Categories

      • Michael Winter
      Pages 70-86
    4. Axiomatizing Discrete Spatial Relations

      • Giulia Sindoni, Katsuhiko Sano, John G. Stell
      Pages 113-130
    5. A Modal and Relevance Logic for Qualitative Spatial Reasoning

      • Pranab Kumar Ghosh, Michael Winter
      Pages 131-147
    6. On the Structure of Generalized Effect Algebras and Separation Algebras

      • Sarah Alexander, Peter Jipsen, Nadiya Upegui
      Pages 148-165
    7. Counting Finite Linearly Ordered Involutive Bisemilattices

      • Stefano Bonzio, Michele Pra Baldi, Diego Valota
      Pages 166-183
    8. MIX $$\star $$ -Autonomous Quantales and the Continuous Weak Order

      • Maria João Gouveia, Luigi Santocanale
      Pages 184-201
  4. Reasoning About Computations and Programs

    1. Front Matter

      Pages 203-203
    2. Calculational Verification of Reactive Programs with Reactive Relations and Kleene Algebra

      • Simon Foster, Kangfeng Ye, Ana Cavalcanti, Jim Woodcock
      Pages 205-224
    3. Verifying Hybrid Systems with Modal Kleene Algebra

      • Jonathan Julián Huerta y Munive, Georg Struth
      Pages 225-243
    4. Algebraic Derivation of Until Rules and Application to Timer Verification

      • Jessica Ertel, Roland Glück, Bernhard Möller
      Pages 244-262
    5. False Failure: Creating Failure Models for Separation Logic

      • Callum Bannister, Peter Höfner
      Pages 263-279

Other Volumes

  1. Relational and Algebraic Methods in Computer Science

    17th International Conference, RAMiCS 2018, Groningen, The Netherlands, October 29 – November 1, 2018, Proceedings

About this book

This book constitutes the proceedings of the 17th International Conference on Relational and Algebraic Methods in Computer Science, RAMiCS 2018, held in Groningen, The Netherlands, in October/November 2018.

The 21 full papers and 1 invited paper presented together with 2 invited abstracts and 1 abstract of a tutorial were carefully selected from 31 submissions. The papers are organized in the following topics: Theoretical foundations; reasoning about computations and programs; and applications and tools.

Keywords

  • artificial intelligence
  • constraint programming
  • formal logic
  • matrix algebra
  • model checking
  • problem solving
  • program verification
  • programming languages
  • protocol verification
  • relation algebras
  • semantics
  • set theory
  • software engineering
  • software evaluation
  • spatial reasoning
  • theorem proving

Editors and Affiliations

  • Université Laval, Québec, Canada

    Jules Desharnais

  • University of Canterbury, Christchurch, New Zealand

    Walter Guttmann

  • Open Universiteit, Heerlen, The Netherlands

    Stef Joosten

Bibliographic Information

Buying options

eBook USD 59.99
Price excludes VAT (USA)
  • ISBN: 978-3-030-02149-8
  • 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)