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

TOTAL DOCUMENTS

16
(FIVE YEARS 0)

H-INDEX

4
(FIVE YEARS 0)

Published By Springer International Publishing

9783319129037, 9783319129044
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals Language Definitions as Rewrite Theories

2014 ◽  
pp. 97-112 ◽  
Author(s):  
Andrei Arusoaie ◽  
Dorel Lucanu ◽  
Vlad Rusu ◽  
Traian-Florin Şerbănuţă ◽  
Andrei Ştefănescu ◽  
...  

scholarly journals Can We Efficiently Check Concurrent Programs Under Relaxed Memory Models in Maude?

2014 ◽  
pp. 21-41 ◽  
Author(s):  
Yehia Abd Alrahman ◽  
Marina Andric ◽  
Alessandro Beggiato ◽  
Alberto Lluch Lafuente
Keyword(s):  
Memory Models ◽  
Concurrent Programs ◽  
Relaxed Memory

scholarly journals Rewriting Modulo SMT and Open System Analysis

2014 ◽  
pp. 247-262 ◽  
Author(s):  
Camilo Rocha ◽  
José Meseguer ◽  
César Muñoz
Keyword(s):  
Open System ◽  
System Analysis

scholarly journals Conditional Narrowing Modulo in Rewriting Logic and Maude

2014 ◽  
pp. 80-96 ◽  
Author(s):  
Luis Aguirre ◽  
Narciso Martí-Oliet ◽  
Miguel Palomino ◽  
Isabel Pita
Keyword(s):  
Rewriting Logic ◽  
Conditional Narrowing
Load More ...
Sign in / Sign up

Export Citation Format

Share Document