Rewriting Logic and Its Application - E-book

eBook

Rewriting Logic And Its Applications - ENG

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

Santiago Escobar; Narciso MartíOliet

eBook

$1,100.00

Disponible

Información adicional
Sinopsis

ISBN:	9783030635954
Formato:	ePub
Idioma:	Inglés
Editorial:	Springer Nature
Tema:	Computadoras
Subtema:	Ciencia de computación
Año de publicación:	2020-12-10

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.

eBooks