Advertisement

Rewriting Logic and Its Applications

9th International Workshop, WRLA 2012, Held as a Satellite Event of ETAPS, Tallinn, Estonia, March 24-25, 2012, Revised Selected Papers

  • Franciso Durán
Conference proceedings WRLA 2012

Part of the Lecture Notes in Computer Science book series (LNCS, volume 7571)

Table of contents

  1. Front Matter
  2. Ananda Basu, Saddek Bensalem, Marius Bozga, Joseph Sifakis
    Pages 1-9
  3. Mark Hills, Paul Klint, Jurgen J. Vinju
    Pages 10-30
  4. Dorel Lucanu, Traian Florin Şerbănuţă, Grigore Roşu
    Pages 31-53
  5. Martin Wirsing, Jonas Eckhardt, Tobias Mühlbauer, José Meseguer
    Pages 54-82
  6. Andrei Arusoaie, Traian Florin Şerbănuţă, Chucky Ellison, Grigore Roşu
    Pages 83-98
  7. Kyungmin Bae, José Meseguer
    Pages 99-117
  8. Roberto Bruni, Andrea Corradini, Fabio Gadducci, Alberto Lluch Lafuente, Andrea Vandin
    Pages 118-138
  9. Muhammad Fadlisyah, Peter Csaba Ölveczky, Erika Ábrahám
    Pages 139-161
  10. Raúl Gutiérrez, José Meseguer, Camilo Rocha
    Pages 162-181
  11. Daniela Lepri, Erika Ábrahám, Peter Csaba Ölveczky
    Pages 182-200
  12. Adrián Riesco
    Pages 201-220
  13. Elena Tushkanova, Alain Giorgetti, Christophe Ringeissen, Olga Kouchnarenko
    Pages 221-239
  14. Back Matter

About these proceedings

Introduction

This book constitutes the thoroughly refereed post-workshop proceedings of the 9th International Workshop on Rewriting Logic and its Applications, WRLA 2012, held as a satellite event of ETAPS 2012, in Tallinn, Estonia, in March 2012.
The 8 revised full papers presented together with 4 invited papers were carefully reviewed and selected from 12 initial submissions and 5 invited lectures. The papers address a great diversity of topics in the fields of rewriting logic such as: foundations and models, languages, logical and semantic framework, model-based software engineering, real-time and probabilistic extensions, verification techniques, and distributed systems.

Keywords

cloud computing distributed systems formal analysis model checking swarms

Editors and affiliations

  • Franciso Durán
    • 1
  1. 1.Departamento de Lenguajes y Ciencias de la Computacíon, E.T.S.I InformáticaUniversidad de MálagaMálagaSpain

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-642-34005-5
  • Copyright Information Springer-Verlag Berlin Heidelberg 2012
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-642-34004-8
  • Online ISBN 978-3-642-34005-5
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site
Industry Sectors
Electronics
IT & Software
Aerospace