Theoretical Computer Science and General Issues

Rewriting Logic and Its Applications

11th International Workshop, WRLA 2016, Held as a Satellite Event of ETAPS, Eindhoven, The Netherlands, April 2-3, 2016, Revised Selected Papers

Editors: Lucanu, Dorel (Ed.)

Free Preview

Buy this book

eBook $44.99
price for USA in USD
  • ISBN 978-3-319-44802-2
  • Digitally watermarked, DRM-free
  • Included format: EPUB, PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $59.99
price for USA in USD
About this book

This book constitutes the thoroughly refereed post-workshop proceedings of the 11th International Workshop on Rewriting Logic and its Applications, WRLA 2016, held as a satellite event of ETAPS 2016, in Eindhoven, The Netherlands, in April 2016.

The 8 revised full papers presented together with 2 invited papers and 3 abstracts were carefully reviewed and selected from 14 submissions. The papers cover several topics such as: foundations; rewriting as a logical and semantic framework; rewriting languages; verification techniques; and applications.

Table of contents (10 chapters)

Table of contents (10 chapters)
  • Labelled Graph Rewriting Meets Social Networks

    Pages 1-25

    Fernández, Maribel (et al.)

  • Use of Logical Models for Proving Operational Termination in General Logics

    Pages 26-46

    Lucas, Salvador

  • A Maude Framework for Cache Coherent Multicore Architectures

    Pages 47-63

    Bijo, Shiji (et al.)

  • Synchronized Tree Languages for Reachability in Non-right-linear Term Rewrite Systems

    Pages 64-81

    Boichut, Yohan (et al.)

  • Formal Specification and Verification of a Selective Defense for TDoS Attacks

    Pages 82-97

    Dantas, Yuri Gil (et al.)

Buy this book

eBook $44.99
price for USA in USD
  • ISBN 978-3-319-44802-2
  • Digitally watermarked, DRM-free
  • Included format: EPUB, PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $59.99
price for USA in USD
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Rewriting Logic and Its Applications
Book Subtitle
11th International Workshop, WRLA 2016, Held as a Satellite Event of ETAPS, Eindhoven, The Netherlands, April 2-3, 2016, Revised Selected Papers
Editors
  • Dorel Lucanu
Series Title
Theoretical Computer Science and General Issues
Series Volume
9942
Copyright
2016
Publisher
Springer International Publishing
Copyright Holder
Springer International Publishing Switzerland
eBook ISBN
978-3-319-44802-2
DOI
10.1007/978-3-319-44802-2
Softcover ISBN
978-3-319-44801-5
Edition Number
1
Number of Pages
XV, 185
Number of Illustrations
28 b/w illustrations
Topics