Dorel Lucanu
Revised Selected Papers of the 11th International Workshop on Rewriting Logic and Its Applications
WRLA, 2016.

@proceedings{WRLA-2016,
	doi           = "10.1007/978-3-319-44802-2",
	editor        = "Dorel Lucanu",
	isbn          = "978-3-319-44801-5",
	publisher     = "{Springer}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Revised Selected Papers of the 11th International Workshop on Rewriting Logic and Its Applications}",
	volume        = 9942,
	year          = 2016,
}

Contents (10 items)

WRLA-2016-FernandezKPV

Labelled Graph Rewriting Meets Social Networks (MF, HK, BP, JV), pp. 1–25.

WRLA-2016-Lucas

Use of Logical Models for Proving Operational Termination in General Logics (SL), pp. 26–46.

WRLA-2016-BijoJPT

A Maude Framework for Cache Coherent Multicore Architectures (SB, EBJ, KIP, SLTT), pp. 47–63.

WRLA-2016-BoichutPR

Synchronized Tree Languages for Reachability in Non-right-linear Term Rewrite Systems (YB, VP, PR), pp. 64–81.

WRLA-2016-DantasLFN

Formal Specification and Verification of a Selective Defense for TDoS Attacks (YGD, MOOL, IEF, VN), pp. 82–97.

WRLA-2016-MartinVM

Egalitarian State-Transition Systems (ÓM, AV, NMO), pp. 98–117.

WRLA-2016-Moreno-DelgadoD

Towards Generic Monitors for Object-Oriented Real-Time Maude Specifications (AMD, FD, JM), pp. 118–133.

WRLA-2016-RusuA

Proving Reachability-Logic Formulas Incrementally (VR, AA), pp. 134–151.

WRLA-2016-SerbanutaD

Maximally Parallel Contextual String Rewriting (TFS, LPD), pp. 152–166.

WRLA-2016-SkeirikM

Metalevel Algorithms for Variant Satisfiability (SS, JM), pp. 167–184.