Rewriting logic directly provides an operational semantic model for these theories. This work will also be very important for the semantics of distributed and interoperable components of open systems that we want to develop, and complements well the work on logics and multi-model systems. It is currently being used as the basis for developing specification formalisms for actor systems and for studying coordination and interoperation of actor and pi calculus type agents. The study treated dynamically reconfigurable pipes and filters, asynchronous point-point message passing, and implicit invokation interaction models. The resulting Maude modules provided a concise and direct representation of the architectural components and their interoperation.
Further experiments are in progress using such techniques for combining logical systems.
Transitions and DOD Interactions. Software and Hardware Prototypes. List of Publications. To appear in D. Gabbay, ed., Handbook of Philosophical Logic, Kluwer Academic Publishers. Internal Strategies in a Reflective Logic , M. Clavel, and J. Meseguer, in Proc.