Rewriting Logic and Its Applications - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer International Publishing

9783319448015, 9783319448022

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Use of Logical Models for Proving Operational Termination in General Logics

Rewriting Logic and Its Applications - Lecture Notes in Computer Science ◽

10.1007/978-3-319-44802-2_2 ◽

2016 ◽

pp. 26-46 ◽

Cited By ~ 1

Author(s):

Salvador Lucas

Keyword(s):

Logical Models ◽

Operational Termination

Download Full-text

Proving Reachability-Logic Formulas Incrementally

Rewriting Logic and Its Applications - Lecture Notes in Computer Science ◽

10.1007/978-3-319-44802-2_8 ◽

2016 ◽

pp. 134-151 ◽

Cited By ~ 1

Author(s):

Vlad Rusu ◽

Andrei Arusoaie

Download Full-text

Labelled Graph Rewriting Meets Social Networks

Rewriting Logic and Its Applications - Lecture Notes in Computer Science ◽

10.1007/978-3-319-44802-2_1 ◽

2016 ◽

pp. 1-25 ◽

Cited By ~ 2

Author(s):

Maribel Fernández ◽

Hélène Kirchner ◽

Bruno Pinaud ◽

Jason Vallet

Keyword(s):

Social Networks ◽

Graph Rewriting

Download Full-text

Maximally Parallel Contextual String Rewriting

Rewriting Logic and Its Applications - Lecture Notes in Computer Science ◽

10.1007/978-3-319-44802-2_9 ◽

2016 ◽

pp. 152-166

Author(s):

Traian Florin Şerbănuţă ◽

Liviu P. Dinu

Keyword(s):

String Rewriting

Download Full-text

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

Rewriting Logic and Its Applications - Lecture Notes in Computer Science ◽

10.1007/978-3-319-44802-2_4 ◽

2016 ◽

pp. 64-81 ◽

Cited By ~ 1

Author(s):

Yohan Boichut ◽

Vivien Pelletier ◽

Pierre Réty

Keyword(s):

Linear Term ◽

Rewrite Systems ◽

Term Rewrite Systems ◽

Tree Languages

Download Full-text

Metalevel Algorithms for Variant Satisfiability

Rewriting Logic and Its Applications - Lecture Notes in Computer Science ◽

10.1007/978-3-319-44802-2_10 ◽

2016 ◽

pp. 167-184 ◽

Cited By ~ 2

Author(s):

Stephen Skeirik ◽

José Meseguer

Download Full-text

A Maude Framework for Cache Coherent Multicore Architectures

Rewriting Logic and Its Applications - Lecture Notes in Computer Science ◽

10.1007/978-3-319-44802-2_3 ◽

2016 ◽

pp. 47-63 ◽

Cited By ~ 4

Author(s):

Shiji Bijo ◽

Einar Broch Johnsen ◽

Ka I Pun ◽

Silvia Lizeth Tapia Tarifa

Keyword(s):

Multicore Architectures

Download Full-text

Egalitarian State-Transition Systems

Rewriting Logic and Its Applications - Lecture Notes in Computer Science ◽

10.1007/978-3-319-44802-2_6 ◽

2016 ◽

pp. 98-117 ◽

Cited By ~ 2

Author(s):

Óscar Martín ◽

Alberto Verdejo ◽

Narciso Martí-Oliet

Keyword(s):

State Transition ◽

Transition Systems ◽

State Transition Systems

Download Full-text

Towards Generic Monitors for Object-Oriented Real-Time Maude Specifications

Rewriting Logic and Its Applications - Lecture Notes in Computer Science ◽

10.1007/978-3-319-44802-2_7 ◽

2016 ◽

pp. 118-133

Author(s):

Antonio Moreno-Delgado ◽

Francisco Durán ◽

José Meseguer

Keyword(s):

Real Time ◽

Object Oriented

Download Full-text

Formal Specification and Verification of a Selective Defense for TDoS Attacks

Rewriting Logic and Its Applications - Lecture Notes in Computer Science ◽

10.1007/978-3-319-44802-2_5 ◽

2016 ◽

pp. 82-97 ◽

Cited By ~ 4

Author(s):

Yuri Gil Dantas ◽

Marcilio O. O. Lemos ◽

Iguatemi E. Fonseca ◽

Vivek Nigam

Keyword(s):

Formal Specification ◽

Formal Specification And Verification ◽

Specification And Verification

Download Full-text

Rewriting Logic and Its Applications - Lecture Notes in Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer International Publishing

Use of Logical Models for Proving Operational Termination in General Logics

Proving Reachability-Logic Formulas Incrementally

Labelled Graph Rewriting Meets Social Networks

Maximally Parallel Contextual String Rewriting

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

Metalevel Algorithms for Variant Satisfiability

A Maude Framework for Cache Coherent Multicore Architectures

Egalitarian State-Transition Systems

Towards Generic Monitors for Object-Oriented Real-Time Maude Specifications

Formal Specification and Verification of a Selective Defense for TDoS Attacks

Rewriting Logic and Its Applications - Lecture Notes in Computer Science
Latest Publications