Rewriting Logic and Its Applications: 13th International Workshop, WRLA 2020, Virtual Event, October 20-22, 2020, Revised Selected Papers
Santiago Escobar, Narciso Martí-OlietThis 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.
Категорії:
Рік:
2020
Видання:
1st ed.
Видавництво:
Springer International Publishing;Springer
Мова:
english
ISBN 10:
3030635953
ISBN 13:
9783030635954
Серії:
Lecture Notes in Computer Science 12328
Файл:
PDF, 5.57 MB
IPFS:
,
english, 2020
Скачування цієї книги недоступне за скаргою правовласника