The theory and applications of rewriting logic have been vigorously developed by
researchers all over the world during the past eleven years. The attached bibliography …

For several different reasons, such as changes in the business or technological
environment, the configuration of a system may need to evolve during execution. Support for …

The ability of reconfiguring software architectures in order to adapt them to new
requirements or a changing environment has been of growing interest. We propose a …

This paper presents the linear temporal logic of rewriting (LTLR) model checker under
localized fairness assumptions for the Maude system. The linear temporal logic of rewriting …

This paper presents the temporal logic of rewriting TLR^∗. Syntactically, TLR^∗ is a very
simple extension of CTL^∗ which just adds action atoms, in the form of spatial action …

Rewriting logic seems very well suited as a semantic framework for open object-based
distributed systems. Both the distributed states and the local concurrent transitions of such …

This paper presents a model checker for LTLR, a subset of the temporal logic of rewriting
TLR* extending linear temporal logic with spatial action patterns. Both LTLR and TLR* are …

Although architectural concepts and techniques have been considered mainly as a means
of controlling the complexity of develo** software, we argue, and demonstrate, that they …

This paper presents the foundation, design, and implementation of the Linear Temporal
Logic of Rewriting model checker as an extension of the Maude system. The Linear …

The actor theory framework is a general semantic framework, based on the actor
computation model, for specifying and reasoning about components of open distributed …