Abstract is missing.
- Labelled Graph Rewriting Meets Social NetworksMaribel Fernández, Hélène Kirchner, Bruno Pinaud, Jason Vallet. 1-25 [doi]
- Use of Logical Models for Proving Operational Termination in General LogicsSalvador Lucas. 26-46 [doi]
- A Maude Framework for Cache Coherent Multicore ArchitecturesShiji Bijo, Einar Broch Johnsen, Ka-I Pun, Silvia Lizeth Tapia Tarifa. 47-63 [doi]
- Synchronized Tree Languages for Reachability in Non-right-linear Term Rewrite SystemsYohan Boichut, Vivien Pelletier, Pierre Réty. 64-81 [doi]
- Formal Specification and Verification of a Selective Defense for TDoS AttacksYuri Gil Dantas, Marcilio O. O. Lemos, Iguatemi E. Fonseca, Vivek Nigam. 82-97 [doi]
- Egalitarian State-Transition SystemsÓscar Martín, Alberto Verdejo, Narciso Martí-Oliet. 98-117 [doi]
- Towards Generic Monitors for Object-Oriented Real-Time Maude SpecificationsAntonio Moreno-Delgado, Francisco Durán, José Meseguer. 118-133 [doi]
- Proving Reachability-Logic Formulas IncrementallyVlad Rusu, Andrei Arusoaie. 134-151 [doi]
- Maximally Parallel Contextual String RewritingTraian-Florin Serbanuta, Liviu P. Dinu. 152-166 [doi]
- Metalevel Algorithms for Variant SatisfiabilityStephen Skeirik, José Meseguer. 167-184 [doi]