A graph based architectural (Re)configuration language
Proceedings of the 8th European software engineering conference held jointly with 9th ACM SIGSOFT international symposium on Foundations of software engineering
A graph transformation approach to software architecture reconfiguration
Science of Computer Programming - Special issue on applications of graph transformations (GRATRA 2000)
Rewriting logic: roadmap and bibliography
Theoretical Computer Science - Rewriting logic and its applications
A Maude specification of an object-oriented model for telecommunication networks
Theoretical Computer Science - Rewriting logic and its applications
Actor theories in rewriting logic
Theoretical Computer Science - Rewriting logic and its applications
AMAST '02 Proceedings of the 9th International Conference on Algebraic Methodology and Software Technology
Enforcing Business Policies Through Automated Reconfiguration
Proceedings of the 16th IEEE international conference on Automated software engineering
A semantic framework for open processes
Theoretical Computer Science
The Temporal Logic of Rewriting: A Gentle Introduction
Concurrency, Graphs and Models
Proving Modal Properties of Rewrite Theories Using Maude's Metalevel
Electronic Notes in Theoretical Computer Science (ENTCS)
Proving VLRL Action Properties with the Maude Model Checker
Electronic Notes in Theoretical Computer Science (ENTCS)
The linear temporal logic of rewriting Maude model checker
WRLA'10 Proceedings of the 8th international conference on Rewriting logic and its applications
Symbolic equivalences for open systems
GC'04 Proceedings of the 2004 IST/FET international conference on Global Computing
A Rewriting-Based Model Checker for the Linear Temporal Logic of Rewriting
Electronic Notes in Theoretical Computer Science (ENTCS)
Hi-index | 0.00 |