WRLA

Keyphrases

Publications

2016

Óscar Martín, Alberto Verdejo, Narciso Martí-Oliet
Egalitarian State-Transition Systems. WRLA (2016)
Shiji Bijo, Einar Broch Johnsen, Ka I Pun, Silvia Lizeth Tapia Tarifa
A Maude Framework for Cache Coherent Multicore Architectures. WRLA (2016)
Salvador Lucas
Use of Logical Models for Proving Operational Termination in General Logics. WRLA (2016)
Traian-Florin Serbanuta, Liviu P. Dinu
Maximally Parallel Contextual String Rewriting. WRLA (2016)
Stephen Skeirik, José Meseguer
Metalevel Algorithms for Variant Satisfiability. WRLA (2016)
Antonio Moreno-Delgado, Francisco Durán, José Meseguer
Towards Generic Monitors for Object-Oriented Real-Time Maude Specifications. WRLA (2016)
Maribel Fernández, Hélène Kirchner, Bruno Pinaud, Jason Vallet
Labelled Graph Rewriting Meets Social Networks. WRLA (2016)
Yohan Boichut, Vivien Pelletier, Pierre Réty
Synchronized Tree Languages for Reachability in Non-right-linear Term Rewrite Systems. WRLA (2016)
Yuri Gil Dantas, Marcilio O. O. Lemos, Iguatemi E. Fonseca, Vivek Nigam
Formal Specification and Verification of a Selective Defense for TDoS Attacks. WRLA (2016)
Vlad Rusu, Andrei Arusoaie
Proving Reachability-Logic Formulas Incrementally. WRLA (2016)

volume 9942, 2016

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 WRLA 9942 (2016)

2014

volume 8663, 2014

Rewriting Logic and Its Applications - 10th International Workshop, WRLA 2014, Held as a Satellite Event of ETAPS, Grenoble, France, April 5-6, 2014, Revised Selected Papers WRLA 8663 (2014)

2012

volume 7571, 2012

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 WRLA 7571 (2012)

2010

volume 6381, 2010

Rewriting Logic and Its Applications - 8th International Workshop, WRLA 2010, Held as a Satellite Event of ETAPS 2010, Paphos, Cyprus, March 20-21, 2010, Revised Selected Papers WRLA 6381 (2010)