Skip to main content
SpringerLink
Log in

Rewriting Logic and Its Applications

13th International Workshop, WRLA 2020, Virtual Event, October 20-22, 2020, Revised Selected Papers

  • Conference proceedings
  • © 2020

Overview

Editors:
  1. Santiago Escobar

    1. Valencian Research Institute for Artificial Intelligence, Universitat Politècnica de València, Valencia, Spain

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Narciso Martí-Oliet

    1. Facultad de Informática, Universidad Complutense de Madrid, Madrid, Spain

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

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

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

Included in the following conference series:

Conference proceedings info: WRLA 2020.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (11 papers)

  1. Front Matter

    Pages i-vii
    Download chapter PDF

  2. Combining Parallel Graph Rewriting and Quotient Graphs

    • Thierry Boy de la Tour, Rachid Echahed
    Pages 1-18

  3. Connecting Constrained Constructor Patterns and Matching Logic

    • Xiaohong Chen, Dorel Lucanu, Grigore Roşu
    Pages 19-37

  4. Analysis of the Runtime Resource Provisioning of BPMN Processes Using Maude

    • Francisco Durán, Camilo Rocha, Gwen Salaün
    Pages 38-56

  5. A Rule-Based System for Computation and Deduction in Mathematica

    • Mircea Marin, Besik Dundua, Temur Kutsia
    Pages 57-74

  6. Variants in the Infinitary Unification Wonderland

    • José Meseguer
    Pages 75-95

  7. Variant Satisfiability of Parameterized Strings

    • José Meseguer
    Pages 96-113

  8. Inductive Reasoning with Equality Predicates, Contextual Rewriting and Variant-Based Simplification

    • José Meseguer, Stephen Skeirik
    Pages 114-135

  9. A Simplified Application of Howard’s Vector Notation System to Termination Proofs for Typed Lambda-Calculus Systems

    • Mitsuhiro Okada, Yuta Takahashi
    Pages 136-155

  10. Strategies, Model Checking and Branching-Time Properties in Maude

    • Rubén Rubio, Narciso Martí-Oliet, Isabel Pita, Alberto Verdejo
    Pages 156-175

  11. Verification of the IBOS Browser Security Properties in Reachability Logic

    • Stephen Skeirik, José Meseguer, Camilo Rocha
    Pages 176-196

  12. Automated Construction of Security Integrity Wrappers for Industry 4.0 Applications

    • Vivek Nigam, Carolyn Talcott
    Pages 197-215

  13. Back Matter

    Pages 217-217
    Download chapter PDF
Back to top

Other volumes

  1. Rewriting Logic and Its Applications

Keywords

About this book

This book constitutes selected papers from the 12th International Workshop on Rewriting Logic and Its Applications, WRLA 2020, held in Dublin, Ireland, in April 2020.

Due to the COVID-19 pandemic the workshop took place virtually.

The 11 full papers presented in this volume were carefully reviewed and selected from 16 submissions Rewriting logic is a natural model of computation and an expressive semantic framework for concurrency, parallelism, communication, and interaction. It can be used for specifying a wide range of systems and languages in various application fields.

Editors and Affiliations

  • Valencian Research Institute for Artificial Intelligence, Universitat Politècnica de València, Valencia, Spain

    Santiago Escobar

  • Facultad de Informática, Universidad Complutense de Madrid, Madrid, Spain

    Narciso Martí-Oliet

Bibliographic Information

  • Book Title: Rewriting Logic and Its Applications

  • Book Subtitle: 13th International Workshop, WRLA 2020, Virtual Event, October 20-22, 2020, Revised Selected Papers

  • Editors: Santiago Escobar, Narciso Martí-Oliet

  • Series Title: Lecture Notes in Computer Science

  • DOI: https://doi.org/10.1007/978-3-030-63595-4

  • Publisher: Springer Cham

  • eBook Packages: Computer Science, Computer Science (R0)

  • Copyright Information: Springer Nature Switzerland AG 2020

  • Softcover ISBN: 978-3-030-63594-7Published: 11 December 2020

  • eBook ISBN: 978-3-030-63595-4Published: 10 December 2020

  • Series ISSN: 0302-9743

  • Series E-ISSN: 1611-3349

  • Edition Number: 1

  • Number of Pages: VII, 217

  • Number of Illustrations: 28 b/w illustrations, 11 illustrations in colour

  • Topics: Logics and Meanings of Programs

Publish with us

Policies and ethics

Back to top

Search

Navigation