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

TOTAL DOCUMENTS

10
(FIVE YEARS 0)

H-INDEX

2
(FIVE YEARS 0)

Published By Springer International Publishing

9783319448015, 9783319448022
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals Labelled Graph Rewriting Meets Social Networks

2016 ◽  
pp. 1-25 ◽  
Author(s):  
Maribel Fernández ◽  
Hélène Kirchner ◽  
Bruno Pinaud ◽  
Jason Vallet
Keyword(s):  
Social Networks ◽  
Graph Rewriting

Maximally Parallel Contextual String Rewriting

2016 ◽  
pp. 152-166
Author(s):  
Traian Florin Şerbănuţă ◽  
Liviu P. Dinu
Keyword(s):  
String Rewriting

A Maude Framework for Cache Coherent Multicore Architectures

2016 ◽  
pp. 47-63 ◽  
Author(s):  
Shiji Bijo ◽  
Einar Broch Johnsen ◽  
Ka I Pun ◽  
Silvia Lizeth Tapia Tarifa
Keyword(s):  
Multicore Architectures

Egalitarian State-Transition Systems

2016 ◽  
pp. 98-117 ◽  
Author(s):  
Óscar Martín ◽  
Alberto Verdejo ◽  
Narciso Martí-Oliet
Keyword(s):  
State Transition ◽  
Transition Systems ◽  
State Transition Systems

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

2016 ◽  
pp. 118-133
Author(s):  
Antonio Moreno-Delgado ◽  
Francisco Durán ◽  
José Meseguer
Keyword(s):  
Real Time ◽  
Object Oriented
Load More ...
Sign in / Sign up

Export Citation Format

Share Document