Rewriting Logic and Its Applications: 13th International Workshop, WRLA 2020, Virtual Event, October 20-22, 2020, Revised Selected Papers (Lecture Notes in Computer Science, 12328)

ISBN 10: 3030635945 / ISBN 13: 9783030635947

Edité par Springer, 2020

A propos de cet article

1st ed. 2020 edition NO-PA16APR2015-KAP. N° de réf. du vendeur 26386558312

Détails bibliographiques

Titre : Rewriting Logic and Its Applications: 13th ...

Éditeur : Springer

Date d'édition : 2020

Reliure : Couverture souple

Etat : New

A propos de ce titre

Synopsis :

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.