Rewriting Logic and Its Applications | 13th International Workshop, WRLA 2020, Virtual Event, October 20-22, 2020, Revised Selected Papers | ISBN 9783030635954

Rewriting Logic and Its Applications

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

herausgegeben von Santiago Escobar und Narciso Martí-Oliet
Mitwirkende
Herausgegeben vonSantiago Escobar
Herausgegeben vonNarciso Martí-Oliet
Buchcover Rewriting Logic and Its Applications  | EAN 9783030635954 | ISBN 3-030-63595-3 | ISBN 978-3-030-63595-4

Rewriting Logic and Its Applications

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

herausgegeben von Santiago Escobar und Narciso Martí-Oliet
Mitwirkende
Herausgegeben vonSantiago Escobar
Herausgegeben vonNarciso Martí-Oliet

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.